- Dynamic logics of the region-based theory of discrete spaces.Philippe Balbiani, Tinko Tinchev & Dimiter Vakarelov - 2007 - Journal of Applied Non-Classical Logics 17 (1):39-61.details
|
|
A logical characterisation of qualitative coalitional games.Paul E. Dunne, Wiebe van der Hoek & Michael Wooldridge - 2007 - Journal of Applied Non-Classical Logics 17 (4):477-509.details
|
|
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.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
|
|
Connected modal logics.Guram Bezhanishvili & David Gabelaia - 2011 - Archive for Mathematical Logic 50 (3-4):287-317.details
|
|
On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.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
|
|
A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.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
|
|
What one may come to know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.details
|
|
Tree-like constructions in topology and modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. van Mill - 2020 - Archive for Mathematical Logic 60 (3):265-299.details
|
|
The Quasi-lattice of Indiscernible Elements.Mauri Cunha do Nascimento, Décio Krause & Hércules Araújo Feitosa - 2011 - Studia Logica 97 (1):101-126.details
|
|
Prioritised ceteris paribus logic for counterfactual reasoning.Patrick Girard & Marcus A. Triplett - 2018 - Synthese 195 (4):1681-1703.details
|
|
(1 other version)Are the Validities of Modal Logic Analytic? Or Analyticity Again, through Information, Proof, Modal Logic and Hintikka.Francesca Poggiolesi - 2015 - Philosophia Scientiae 19:221-243.details
|
|
Restricted Arrow.C. M. Asmus - 2009 - Journal of Philosophical Logic 38 (4):405-431.details
|
|
Temporal Reference in Linear Tense Logic.M. J. Cresswell - 2010 - Journal of Philosophical Logic 39 (2):173-200.details
|
|
Inexact Knowledge with Introspection.Denis Bonnay & Paul Égré - 2009 - Journal of Philosophical Logic 38 (2):179-227.details
|
|
A STIT Logic for Reasoning About Social Influence.Emiliano Lorini & Giovanni Sartor - 2016 - Studia Logica 104 (4):773-812.details
|
|
Axiomatizing relativistic dynamics using formal thought experiments.Attila Molnár & Gergely Székely - 2015 - Synthese 192 (7):2183-2222.details
|
|
Variants of multi-relational semantics for propositional non-normal modal logics.Erica Calardo & Antonino Rotolo - 2014 - Journal of Applied Non-Classical Logics 24 (4):293-320.details
|
|
BDD-based decision procedures for the modal logic K ★.Guoqiang Pan, Ulrike Sattler & Moshe Y. Vardi - 2006 - Journal of Applied Non-Classical Logics 16 (1-2):169-207.details
|
|
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details
|
|
IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - Studia Logica 102 (1):41-66.details
|
|
Substantive assumptions in interaction: a logical perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.details
|
|
Logic in a Social Setting.Johan van Benthem - 2011 - Episteme 8 (3):227-247.details
|
|
A dynamic logic of agency II: Deterministic dla {\mathcal{dla}} , coalition logic, and game theory.Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (3):327-351.details
|
|
Defining knowledge in terms of belief: The modal logic perspective.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):469-487.details
|
|
Non-deterministic Logic of Informal Provability has no Finite Characterization.Pawel Pawlowski - 2021 - Journal of Logic, Language and Information 30 (4):805-817.details
|
|
Boulesic-Doxastic Logic.Daniel Rönnedal - 2019 - Australasian Journal of Logic 16 (3):83-132.details
|
|
Determining the environment: a modal logic for closed interaction.Jan Broersen, Rosja Mastop, John-Jules Meyer & Paolo Turrini - 2009 - Synthese 169 (2):351-369.details
|
|
Intelligent Alarm Correlation and Abductive Reasoning.Stefania Bandini, Alessandro Mosca & Matteo Palmonari - 2006 - Logic Journal of the IGPL 14 (2):347-362.details
|
|
(1 other version)V čom sa nemôžete mýliť?Igor Sedlár - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3):351-362.details
|
|
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.details
|
|
Dynamic Epistemic Logic I: Modeling Knowledge and Belief.Eric Pacuit - 2013 - Philosophy Compass 8 (9):798-814.details
|
|
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games.O. Roy - 2009 - Synthese 171 (2):291 - 320.details
|
|
The logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.details
|
|
Essay Review.[author unknown] - 2001 - History and Philosophy of Logic 22 (2):99-112.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Logics of temporal-epistemic actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.details
|
|
Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.details
|
|
Belief fusion and revision: an overview based on epistemic logic semantics.Churn-Jung Liau - 2004 - Journal of Applied Non-Classical Logics 14 (3):247-274.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
|
|
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
|
|
NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.details
|
|
Querying linguistic trees.Catherine Lai & Steven Bird - 2010 - Journal of Logic, Language and Information 19 (1):53-73.details
|
|
Developing bounded reasoning.Michał Walicki, Marc Bezem & Wojtek Szajnkenig - 2009 - Journal of Logic, Language and Information 18 (1):97-129.details
|
|
Continuous propositional modal logic.Stefano Baratella - 2018 - Journal of Applied Non-Classical Logics 28 (4):297-312.details
|
|
A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus.Aldo Victorio Figallo, Estela Bianco & Alicia Ziliani - 2014 - Open Journal of Philosophy 4 (3):319-331.details
|
|
On the strength and scope of DLS.Willem Conradie - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):279-296.details
|
|