- Inquisitive dynamic epistemic logic.Ivano A. Ciardelli & Floris Roelofsen - 2015 - Synthese 192 (6):1643-1687.details
|
|
Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.details
|
|
Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Obligation, Free Choice, and the Logic of Weakest Permissions.Albert J. J. Anglberger, Nobert Gratzl & Olivier Roy - 2015 - Review of Symbolic Logic 8 (4):807-827.details
|
|
Solovay-Type Theorems for Circular Definitions.Shawn Standefer - 2015 - Review of Symbolic Logic 8 (3):467-487.details
|
|
Action emulation.Jan van Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.details
|
|
Local Goldblatt–Thomason theorem.Evgeny Zolin - 2015 - Logic Journal of the IGPL 23 (6):861-880.details
|
|
Developing bounded reasoning.Michał Walicki, Marc Bezem & Wojtek Szajnkenig - 2009 - Journal of Logic, Language and Information 18 (1):97-129.details
|
|
An Interpretation of McCall’s “Real Possible Worlds” and His Semantics for Counterfactuals.Alexandru Dragomir - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (1):65-78.details
|
|
The Logic of Observation and Belief Revision in Scientific Communities.Hanna Sofie van Lee & Sonja Smets - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):243-266.details
|
|
Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.details
|
|
Hybrid logics with Sahlqvist axioms.ten Cate Balder, Marx Maarten & Viana Petrúcio - 2005 - Logic Journal of the IGPL 13 (3):293-300.details
|
|
A Sahlqvist theorem for substructural logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.details
|
|
Relative expressive power of navigational querying on graphs using transitive closure.Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren & Yuqing Wu - 2015 - Logic Journal of the IGPL 23 (5):759-788.details
|
|
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).Gennady Shtakser - 2019 - Studia Logica 107 (4):753-780.details
|
|
Axiomatizing hybrid products.Katsuhiko Sano - 2010 - Journal of Applied Logic 8 (4):459-474.details
|
|
S5 knowledge without partitions.Dov Samet - 2010 - Synthese 172 (1):145 - 155.details
|
|
Binding bound variables in epistemic contexts.Brian Rabern - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy 64 (5-6):533-563.details
|
|
The Central Question in Comparative Syntactic Metatheory.Geoffrey K. Pullum - 2013 - Mind and Language 28 (4):492-521.details
|
|
Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.details
|
|
Reasoning with protocols under imperfect information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.details
|
|
A general framework for dynamic epistemic logic: towards canonical correspondences.Shota Motoura - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):50-89.details
|
|
What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.details
|
|
Sequent Calculi for Global Modal Consequence Relations.Minghui Ma & Jinsheng Chen - 2019 - Studia Logica 107 (4):613-637.details
|
|
Expressivity in chain-based modal logics.Michel Marti & George Metcalfe - 2018 - Archive for Mathematical Logic 57 (3-4):361-380.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
|
|
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.details
|
|
Logics and algebras for multiple players.Loes Olde Loohuis & Yde Venema - 2010 - Review of Symbolic Logic 3 (3):485-519.details
|
|
Reasoning About Agent Types and the Hardest Logic Puzzle Ever.Fenrong Liu & Yanjing Wang - 2013 - Minds and Machines 23 (1):123-161.details
|
|
Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.details
|
|
Querying linguistic trees.Catherine Lai & Steven Bird - 2010 - Journal of Logic, Language and Information 19 (1):53-73.details
|
|
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.details
|
|
On neighbourhood product of some Horn axiomatizable logics.Andrey Kudinov - 2018 - Logic Journal of the IGPL 26 (3):316-338.details
|
|
Projective unification in transitive modal logics.Sławomir Kost - 2018 - Logic Journal of the IGPL 26 (5):548-566.details
|
|
Frames for fusions of modal logics.Sławomir Kost - 2018 - Journal of Applied Non-Classical Logics 28 (1):1-19.details
|
|
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.details
|
|
Knowledge, belief, normality, and introspection.Dominik Klein, Olivier Roy & Norbert Gratzl - 2017 - Synthese:1-30.details
|
|
Knowledge, belief, normality, and introspection.Dominik Klein, Olivier Roy & Norbert Gratzl - 2017 - Synthese 195 (10):4343-4372.details
|
|
From Oughts to Goals: A Logic for Enkrasia.Dominik Klein & Alessandra Marra - 2020 - Studia Logica 108 (1):85-128.details
|
|
Modal definability of first-order formulas with free variables and query answering.Stanislav Kikot & Evgeny Zolin - 2013 - Journal of Applied Logic 11 (2):190-216.details
|
|
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.details
|
|
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.details
|
|
Dualities for modal N4-lattices.R. Jansana & U. Rivieccio - 2014 - Logic Journal of the IGPL 22 (4):608-637.details
|
|
Dynamic logics of knowledge and access.Tomohiro Hoshi & Eric Pacuit - 2010 - Synthese 177 (1):29 - 49.details
|
|
Towards a “Sophisticated” Model of Belief Dynamics. Part I: The General Framework.Brian Hill - 2008 - Studia Logica 89 (1):81-109.details
|
|
Towards a “Sophisticated” Model of Belief Dynamics. Part II: Belief Revision.Brian Hill - 2008 - Studia Logica 89 (3):291-323.details
|
|
Awareness Dynamics.Brian Hill - 2010 - Journal of Philosophical Logic 39 (2):113-137.details
|
|
When Do Some Things Form a Set?Simon Hewitt - 2015 - Philosophia Mathematica 23 (3):311-337.details
|
|
A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.details
|
|
On the Modal Logic of Jeffrey Conditionalization.Zalán Gyenis - 2018 - Logica Universalis 12 (3-4):351-374.details
|
|