- 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
|
|
Reverse Public Announcement Operators on Expanded Models.Ryuichi Sebastian Haney - 2018 - Journal of Logic, Language and Information 27 (3):205-224.details
|
|
The interrogative model of inquiry meets dynamic epistemic logics.Yacin Hamami - 2015 - Synthese 192 (6):1609-1642.details
|
|
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.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
|
|
Categorical Interpretation of Modal Structures under Bisimulation.Nino Guallart - 2019 - Kairos 22 (1):54-71.details
|
|
Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.details
|
|
Abstract argument games via modal logic.Davide Grossi - 2013 - Synthese 190 (S1).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
|
|
Multi-Modal CTL: Completeness, Complexity, and an Application. [REVIEW]Thomas Ågotnes, Wiebe Van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra & Michael Wooldridge - 2009 - Studia Logica 92 (1):1-26.details
|
|
Semantics and truth relative to a world.Michael Glanzberg - 2009 - Synthese 166 (2):281-307.details
|
|
Prioritised ceteris paribus logic for counterfactual reasoning.Patrick Girard & Marcus A. Triplett - 2018 - Synthese 195 (4):1681-1703.details
|
|
On the factivity of implicit intersubjective knowledge.Alessandro Giordani - 2014 - Synthese 191 (8):1909-1923.details
|
|