- Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.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
|
|
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.details
|
|
Axiomatizing relativistic dynamics using formal thought experiments.Attila Molnár & Gergely Székely - 2015 - Synthese 192 (7):2183-2222.details
|
|
Branching in the landscape of possibilities.Thomas Müller - 2012 - Synthese 188 (1):41-65.details
|
|
Toward Model-Theoretic Modal Logics.M. A. Minghui - 2010 - Frontiers of Philosophy in China 5 (2):294-311.details
|
|
What is Nominalistic Mereology?Jeremy Meyers - 2012 - Journal of Philosophical Logic 43 (1):71-108.details
|
|
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.details
|
|
Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory.Yoshihiro Maruyama - 2010 - Studia Logica 94 (2):245-269.details
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
A STIT Logic for Reasoning About Social Influence.Emiliano Lorini & Giovanni Sartor - 2016 - Studia Logica 104 (4):773-812.details
|
|
A logic of intention and attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.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
|
|
Von Wright’s “The Logic of Preference” revisited.Fenrong Liu - 2010 - Synthese 175 (1):69 - 88.details
|
|
Von Wright’s “The Logic of Preference” revisited.Fenrong Liu - 2010 - Synthese 175 (1):69-88.details
|
|
Reasoning About Agent Types and the Hardest Logic Puzzle Ever.Fenrong Liu & Yanjing Wang - 2013 - Minds and Machines 23 (1):123-161.details
|
|
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.details
|
|
Logical dynamics of belief change in the community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.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
|
|
The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.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
|
|
Technical Modal Logic.Marcus Kracht - 2011 - Philosophy Compass 6 (5):350-359.details
|
|
In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘ Overwhelming Majority ’ Default Conditionals.Costas D. Koutras & Christos Rantsoudis - 2017 - Journal of Logic, Language and Information 26 (2):109-141.details
|
|
A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes.Costas D. Koutras - 2003 - Journal of Applied Non-Classical Logics 13 (1):47-71.details
|
|
Frames for fusions of modal logics.Sławomir Kost - 2018 - Journal of Applied Non-Classical Logics 28 (1):1-19.details
|
|
Moral conflicts between groups of agents.Barteld Kooi & Allard Tamminga - 2008 - Journal of Philosophical Logic 37 (1):1-21.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
|
|
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.details
|
|
The Problem of Cross-world Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.details
|
|
Knowledge, belief, normality, and introspection.Dominik Klein, Olivier Roy & Norbert Gratzl - 2017 - Synthese:1-30.details
|
|
An extension of Kracht's theorem to generalized Sahlqvist formulas.Stanislav Kikot - 2009 - Journal of Applied Non-Classical Logics 19 (2):227-251.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
|
|
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
|
|
Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.details
|
|
Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.details
|
|
Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.details
|
|
Biological modalities.Maximilian Huber - unknowndetails
|
|
Dynamic logics of knowledge and access.Tomohiro Hoshi & Eric Pacuit - 2010 - Synthese 177 (1):29 - 49.details
|
|
Information dynamics and uniform substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.details
|
|
Social laws in alternating time: effectiveness, feasibility, and synthesis.Wiebe van Der Hoek, Mark Roberts & Michael Wooldridge - 2007 - Synthese 156 (1):1-19.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
|
|
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
|
|
A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic.Brian Hill & Francesca Poggiolesi - 2010 - Studia Logica 94 (1):47-72.details
|
|
Awareness Dynamics.Brian Hill - 2010 - Journal of Philosophical Logic 39 (2):113-137.details
|
|
On the Dynamics of Institutional Agreements.Andreas Herzig, Tiago de Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321 - 355.details
|
|