- Petr Hájek, Zuzana Haniková
:
Interpreting lattice-valued set theory in fuzzy set theory. Log. J. IGPL 21(1): 77-90 (2013) - Chrysafis Hartonas
:
Reasoning about types of action and agent capabilities. Log. J. IGPL 21(5): 703-742 (2013) - Shasha Huang, Qingguo Li
, Pascal Hitzler:
Reasoning with inconsistencies in hybrid MKNF knowledge bases. Log. J. IGPL 21(2): 263-290 (2013) - Tapani Hyttinen
, Kaisa Kangas, Jouko A. Väänänen
:
On second-order characterizability. Log. J. IGPL 21(5): 767-787 (2013) - Leszek Jaworski:
From the research on logics without tautologies (part 1). Log. J. IGPL 21(2): 216-233 (2013) - Leszek Jaworski:
From the research on logics without tautologies (part 2). Log. J. IGPL 21(2): 234-251 (2013) - Leszek Jaworski:
From the research on logics without tautologies (part 3). Log. J. IGPL 21(2): 252-262 (2013) - Carlos Laorden
, Borja Sanz, Igor Santos
, Patxi Galán-García, Pablo García Bringas
:
Collective classification for spam filtering. Log. J. IGPL 21(4): 540-548 (2013) - Iris Loeb:
Lipschitz functions in constructive reverse mathematics. Log. J. IGPL 21(1): 28-43 (2013) - Emiliano Lorini, Nicolas Troquard
, Andreas Herzig, Jan M. Broersen:
Grounding power on actions and mental attitudes. Log. J. IGPL 21(3): 311-331 (2013) - Lorenzo Magnani:
Preface. Log. J. IGPL 21(6): 879-881 (2013) - Lorenzo Magnani:
Is abduction ignorance-preserving? Conventions, models and fictions in science. Log. J. IGPL 21(6): 882-914 (2013) - Hugo Luiz Mariano
, Francisco Miraglia:
The Boolean and profinite hulls of reduced special groups. Log. J. IGPL 21(2): 160-182 (2013) - Milan Markovic, Goran Dordevic:
Secure JAVA application in SOA-based cross-border PKI mobile government systems. Log. J. IGPL 21(4): 680-691 (2013) - Manuel António Martins
, George Voutsadakis:
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. Log. J. IGPL 21(5): 836-852 (2013) - Zoltán Molnár:
Epsilon-invariant substitutions and indefinite descriptions. Log. J. IGPL 21(5): 812-829 (2013) - Chris Mortensen:
Identity taken seriously: a non-classical approach. Log. J. IGPL 21(1): 101-107 (2013) - J. A. M. Naranjo, Leocadio G. Casado
:
An updated view on centralized secure group communications. Log. J. IGPL 21(4): 659-670 (2013) - Ángel Nepomuceno-Fernández, Fernando Soler-Toscano
, Fernando R. Velázquez-Quesada
:
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. Log. J. IGPL 21(6): 943-961 (2013) - Hai Thanh Nguyen, Carmen Torrano-Gimenez, Gonzalo Álvarez, Katrin Franke, Slobodan Petrovic:
Enhancing the effectiveness of Web Application Firewalls by generic feature selection. Log. J. IGPL 21(4): 560-570 (2013) - Alberto Peinado, Andrés Ortiz
:
Cryptanalysis of a key refreshment scheme for multicast protocols by means of genetic algorithm. Log. J. IGPL 21(4): 671-679 (2013) - Claudio Pizzi:
Counterfactuals and modus tollens in abductive arguments. Log. J. IGPL 21(6): 962-979 (2013) - Graham Priest:
Mathematical pluralism. Log. J. IGPL 21(1): 4-13 (2013) - Frederik Van De Putte, Christian Straßer
:
Three formats of prioritized adaptive logics: a comparative study. Log. J. IGPL 21(2): 127-159 (2013) - Livio Robaldo
:
Conservativity: a necessary property for the maximization of witness sets. Log. J. IGPL 21(5): 853-878 (2013) - Sebastian Roschke, Feng Cheng, Christoph Meinel:
High-quality attack graph-based IDS correlation. Log. J. IGPL 21(4): 571-591 (2013) - Vladimir V. Rybakov
:
Writing out unifiers for formulas with coefficients in intuitionistic logic. Log. J. IGPL 21(2): 187-198 (2013) - Vladimir V. Rybakov
:
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). Log. J. IGPL 21(2): 205-215 (2013) - Chiaki Sakama, Katsumi Inoue:
Abduction, unpredictability and Garden of Eden. Log. J. IGPL 21(6): 980-998 (2013) - Javier Sedano, Silvia González
, Álvaro Herrero
, Bruno Baruque
, Emilio Corchado:
Mutating network scans for the assessment of supervised classifier ensembles. Log. J. IGPL 21(4): 630-647 (2013)