- Constrained Consequence.Katarina Britz, Johannes Heidema & Ivan Varzinczak - 2011 - Logica Universalis 5 (2):327-350.details
|
|
Algebraic semantics for modal and superintuitionistic non-monotonic logics.David Pearce & Levan Uridia - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):147-158.details
|
|
From self-regarding to other-regarding agents in strategic games: a logical analysis.Emiliano Lorini - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):443-475.details
|
|
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.details
|
|
Distributed knowledge.Floris Roelofsen - 2007 - Journal of Applied Non-Classical Logics 17 (2):255-273.details
|
|
Subspaces of $${\mathbb{Q}}$$ whose d-logics do not have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.details
|
|
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond.Luck Darnière & Markus Junker - 2010 - Archive for Mathematical Logic 49 (7-8):743-771.details
|
|
Toward Model-Theoretic Modal Logics.M. A. Minghui - 2010 - Frontiers of Philosophy in China 5 (2):294-311.details
|
|
Speed Up the Conception of Logical Systems with Test-Driven Development.Mathieu Vidal - 2014 - Journal of Logic, Language and Information 23 (1):83-103.details
|
|
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.details
|
|
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.details
|
|
Pure Extensions, Proof Rules, and Hybrid Axiomatics.Patrick Blackburn & Balder Ten Cate - 2006 - Studia Logica 84 (2):277-322.details
|
|
PDL for ordered trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx & Maarten de Rijke - 2005 - Journal of Applied Non-Classical Logics 15 (2):115-135.details
|
|
Quantificational modal logic with sequential Kripke semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.details
|
|
Frame constructions, truth invariance and validity preservation in many-valued modal logic.Pantelis E. Eleftheriou & Costas D. Koutras - 2005 - Journal of Applied Non-Classical Logics 15 (4):367-388.details
|
|
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.details
|
|
A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert van der Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.details
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
Action Emulation between Canonical Models.Floor Sietsma & Jan van Eijck - 2013 - Journal of Philosophical Logic 42 (6):905-925.details
|
|
On the Dynamics of Institutional Agreements.Andreas Herzig, Tiago de Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321 - 355.details
|
|
Dynamics we can believe in: a view from the Amsterdam School on the centenary of Evert Willem Beth.Cédric Dégremont & Jonathan Zvesper - 2011 - Synthese 179 (2):223 - 238.details
|
|
Probabilization of Logics: Completeness and Decidability. [REVIEW]Pedro Baltazar - 2013 - Logica Universalis 7 (4):403-440.details
|
|
Agreeing to disagree in probabilistic dynamic epistemic logic.Lorenz Demey - 2014 - Synthese 191 (3):409-438.details
|
|
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.details
|
|
A Note on Intensionalization.Philippe de Groote & Makoto Kanazawa - 2013 - Journal of Logic, Language and Information 22 (2):173-194.details
|
|
Modal logics for reasoning about infinite unions and intersections of binary relations.Natasha Alechina, Philippe Balbiani & Dmitry Shkatov - 2012 - Journal of Applied Non-Classical Logics 22 (4):275 - 294.details
|
|
DEL-sequents for regression and epistemic planning.Guillaume Aucher - 2012 - Journal of Applied Non-Classical Logics 22 (4):337 - 367.details
|
|
A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.details
|
|
Some remarks on restricting the knowability principle.Martin Fischer - 2013 - Synthese 190 (1):63-88.details
|
|
The Logic of Counterpart Theory with Actuality.Adam Rigoni & Richmond H. Thomason - 2012 - Journal of Philosophical Logic 43:1-31.details
|
|
You better play 7: mutual versus common knowledge of advice in a weak-link experiment.Giovanna Devetag, Hykel Hosni & Giacomo Sillari - 2013 - Synthese 190 (8):1351-1381.details
|
|
Technical Modal Logic.Marcus Kracht - 2011 - Philosophy Compass 6 (5):350-359.details
|
|
Many-valued and Kripke semantics.Jean-Yves Béziau - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 89--101.details
|
|
Action emulation.Jan Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.details
|
|
Logic in a Social Setting.Johan van Benthem - 2011 - Episteme 8 (3):227-247.details
|
|
A Logic for Multiple-source Approximation Systems with Distributed Knowledge Base.Md Aquil Khan & Mohua Banerjee - 2011 - Journal of Philosophical Logic 40 (5):663-692.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
Keep Changing Your Beliefs, Aiming for the Truth.Alexandru Baltag & Sonja Smets - 2011 - Erkenntnis 75 (2):255-270.details
|
|
Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.details
|
|
Multi-Modal CTL: Completeness, Complexity, and an Application.Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1 - 26.details
|
|
NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.details
|
|
Composing models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.details
|
|
Establishing Connections between Aristotle's Natural Deduction and First-Order Logic.Edgar José Andrade & Edward Samuel Becerra - 2008 - History and Philosophy of Logic 29 (4):309-325.details
|
|
Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.details
|
|
Decidability of independence-friendly modal logic.Merlijn Sevenster - 2010 - Review of Symbolic Logic 3 (3):415-441.details
|
|
Paraconsistent vagueness: a positive argument.Pablo Cobreros - 2011 - Synthese 183 (2):211-227.details
|
|
A bisimulation characterization theorem for hybrid logic with the current-state Binder.Ian Hodkinson & Hicham Tahiri - 2010 - Review of Symbolic Logic 3 (2):247-261.details
|
|
Preference based on reasons.Daniel Osherson & Scott Weinstein - 2012 - Review of Symbolic Logic 5 (1):122-147.details
|
|
Probability logic of finitely additive beliefs.Chunlai Zhou - 2010 - Journal of Logic, Language and Information 19 (3):247-282.details
|
|
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games.O. Roy - 2009 - Synthese 171 (2):291 - 320.details
|
|