default search action
Logic Journal of the IGPL, Volume 21
Volume 21, Number 1, February 2013
- Libor Behounek
, Greg Restall
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
Constructive version of Boolean algebra. 44-62 - Laura Crosilla
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
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
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
Reasoning with inconsistencies in hybrid MKNF knowledge bases. 263-290 - Marie Duzí
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
Grounding power on actions and mental attitudes. 311-331 - Ana Casali
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
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
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
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
High-quality attack graph-based IDS correlation. 571-591 - Maurizio Aiello
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
Mutating network scans for the assessment of supervised classifier ensembles. 630-647 - Raúl Durán Díaz, Luis Hernández Encinas
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
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
On second-order characterizability. 767-787 - Willem Conradie
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
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
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
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. 943-961 - Claudio E. A. 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
Universal vs. particular reasoning: a study with neuroimaging techniques. 1017-1027 - Gianluca Caterina
Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce's existential graphs. 1028-1043 - Silvia De Bianchi
How far can we go with fuzzy logic? Perspectives on model-based reasoning and stochastic resonance in scientific models. 1044-1056
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.
last updated on 2024-12-26 00:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: