![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Logic Journal of the IGPL, Volume 21
Volume 21, Number 1, February 2013
- Libor Behounek
, Greg Restall
, Giovanni Sambin:
Editorial: Special issue on non-classical mathematics. 1-3
- Graham Priest:
Mathematical pluralism. 4-13 - Douglas S. Bridges, Luminita Simona Vîta:
A first constructive look at the comparison of projections. 14-27 - Iris Loeb:
Lipschitz functions in constructive reverse mathematics. 28-43 - Francesco Ciraulo
, Maria Emilia Maietti, Paola Toto:
Constructive version of Boolean algebra. 44-62 - Laura Crosilla
, Erik Palmgren, Peter Schuster
:
A generalized cut characterization of the fullness axiom in CZF. 63-76 - Petr Hájek, Zuzana Haniková
:
Interpreting lattice-valued set theory in fuzzy set theory. 77-90 - Petr Hájek:
On equality and natural numbers in Cantor-Łukasiewicz set theory. 91-100 - Chris Mortensen:
Identity taken seriously: a non-classical approach. 101-107 - Peter Verdée:
Strong, universal and provably non-trivial set theory by means of adaptive logic. 108-125
Volume 21, Number 2, April 2013
- Frederik Van De Putte, Christian Straßer
:
Three formats of prioritized adaptive logics: a comparative study. 127-159 - Hugo Luiz Mariano
, Francisco Miraglia:
The Boolean and profinite hulls of reduced special groups. 160-182 - Petr Hájek:
Some remarks on Cantor-Łukasiewicz fuzzy set theory. 183-186 - Vladimir V. Rybakov
:
Writing out unifiers for formulas with coefficients in intuitionistic logic. 187-198 - Wojciech Dzik, Jouni Järvinen
, Michiro Kondo:
Intuitionistic modal logic with a galois connection has the finite model property1. 199-204 - Vladimir V. Rybakov
:
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). 205-215 - Leszek Jaworski:
From the research on logics without tautologies (part 1). 216-233 - Leszek Jaworski:
From the research on logics without tautologies (part 2). 234-251 - Leszek Jaworski:
From the research on logics without tautologies (part 3). 252-262 - Shasha Huang, Qingguo Li
, Pascal Hitzler:
Reasoning with inconsistencies in hybrid MKNF knowledge bases. 263-290 - Marie Duzí
, Bjørn Jespersen:
Procedural isomorphism, analytic information and β-conversion by value. 291-308
Volume 21, Number 3, June 2013
- Barbara Dunin-Keplicz, Rineke Verbrugge:
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007. 309-310 - Emiliano Lorini, Nicolas Troquard
, Andreas Herzig, Jan M. Broersen:
Grounding power on actions and mental attitudes. 311-331 - Ana Casali
, Lluís Godo
, Carles Sierra
:
A language for the execution of graded BDI agents. 332-354 - Marcin Dziubinski
:
Complexity of logics for multi-agent systems with restricted modal context. 355-379 - Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan:
Connecting dynamic epistemic and temporal epistemic logics. 380-403
- Barbara Dunin-Keplicz, Rineke Verbrugge:
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009. 404-406 - Mai Ajspur, Valentin Goranko, Dmitry Shkatov
:
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge. 407-437 - Philippe Balbiani
, Olivier Gasquet, François Schwarzentruber
:
Agents that look at one another. 438-467 - Alexandru Baltag, Sonja Smets
:
Protocols for belief merge: Reaching agreement via communication. 468-487 - Sujata Ghosh, Dick de Jongh:
Comparing strengths of beliefs explicitly. 488-514 - Andrzej Szalas
:
How an agent might think. 515-535
Volume 21, Number 4, August 2013
- Emilio Corchado, Álvaro Herrero
:
Editorial. 537-539
- Carlos Laorden
, Borja Sanz, Igor Santos
, Patxi Galán-García, Pablo García Bringas
:
Collective classification for spam filtering. 540-548 - Zorana Bankovic, Juan Carlos Vallejo, David Fraga, José Manuel Moya
:
Detecting false testimonies in reputation systems using self-organizing maps. 549-559 - Hai Thanh Nguyen, Carmen Torrano-Gimenez, Gonzalo Álvarez, Katrin Franke, Slobodan Petrovic:
Enhancing the effectiveness of Web Application Firewalls by generic feature selection. 560-570 - Sebastian Roschke, Feng Cheng, Christoph Meinel:
High-quality attack graph-based IDS correlation. 571-591 - Maurizio Aiello
, Alessio Merlo, Gianluca Papaleo
:
Performance assessment and analysis of DNS tunneling tools. 592-602 - Jaydip Sen
:
Secure and user privacy-preserving searching in peer-to-peer networks. 603-629 - Javier Sedano, Silvia González
, Álvaro Herrero
, Bruno Baruque
, Emilio Corchado:
Mutating network scans for the assessment of supervised classifier ensembles. 630-647 - Raúl Durán Díaz, Luis Hernández Encinas
, Jaime Muñoz Masqué:
Two proposals for group signature schemes based on number theory problems. 648-658 - J. A. M. Naranjo, Leocadio G. Casado
:
An updated view on centralized secure group communications. 659-670 - Alberto Peinado, Andrés Ortiz
:
Cryptanalysis of a key refreshment scheme for multicast protocols by means of genetic algorithm. 671-679 - Milan Markovic, Goran Dordevic:
Secure JAVA application in SOA-based cross-border PKI mobile government systems. 680-691 - Flora Amato
, Valentina Casola
, Nicola Mazzocca
, Sara Romano:
A semantic approach for fine-grain access control of e-health documents. 692-701
Volume 21, Number 5, October 2013
- Chrysafis Hartonas
:
Reasoning about types of action and agent capabilities. 703-742 - Peter Verdée:
A proof procedure for adaptive logics. 743-766 - Tapani Hyttinen
, Kaisa Kangas, Jouko A. Väänänen
:
On second-order characterizability. 767-787 - Willem Conradie
, Wilmari Morton, Clint J. van Alten
:
An algebraic look at filtrations in modal logic. 788-811 - Zoltán Molnár:
Epsilon-invariant substitutions and indefinite descriptions. 812-829 - Douglas S. Bridges, James E. Dent, Maarten McKubre-Jordens:
Two direct proofs that LLPO implies the detachable fan theorem. 830-835 - Manuel António Martins
, George Voutsadakis:
Malinowski modalization, modalization through fibring and the Leibniz hierarchy. 836-852 - Livio Robaldo
:
Conservativity: a necessary property for the maximization of witness sets. 853-878
Volume 21, Number 6, December 2013
- Lorenzo Magnani:
Preface. 879-881
- Lorenzo Magnani:
Is abduction ignorance-preserving? Conventions, models and fictions in science. 882-914 - Atocha Aliseda-Llera
, Laura Leonides:
Hypotheses testing in adaptive logics: an application to medical diagnosis. 915-930 - Nicola Angius:
Model-based abductive reasoning in automated software testing. 931-942 - Ángel Nepomuceno-Fernández, Fernando Soler-Toscano
, Fernando R. Velázquez-Quesada
:
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. 943-961 - Claudio Pizzi:
Counterfactuals and modus tollens in abductive arguments. 962-979 - Chiaki Sakama, Katsumi Inoue:
Abduction, unpredictability and Garden of Eden. 980-998 - Gustavo Cevolani
:
Truth approximation via abductive belief change. 999-1016 - V. Michele Abrusci, Claudia Casadio
, M. Teresa Medaglia, Camillo Porcaro
:
Universal vs. particular reasoning: a study with neuroimaging techniques. 1017-1027 - Gianluca Caterina
, Rocco Gangle:
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs. 1028-1043 - Silvia De Bianchi
, Silvia Gaudenzi:
How far can we go with fuzzy logic? Perspectives on model-based reasoning and stochastic resonance in scientific models. 1044-1056
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.