- On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.details
|
|
Every finitely reducible logic has the finite model property with respect to the class of ♦-formulae.Stéphane Demri & Ewa Orłowska - 1999 - Studia Logica 62 (2):177 - 200.details
|
|
A logic with relative knowledge operators.Stéphane Demri - 1999 - Journal of Logic, Language and Information 8 (2):167-185.details
|
|
A completeness proof for a logic with an alternative necessity operator.Stéphane Demri - 1997 - Studia Logica 58 (1):99-112.details
|
|
Interplays of knowledge and non-contingency.Alexandre Costa-Leite - 2016 - Logic and Logical Philosophy 25 (4):521-534.details
|
|
Formalizing Concurrent Common Knowledge as Product of Modal Logics.Vania Costa & Mario Benevides - 2005 - Logic Journal of the IGPL 13 (6):665-684.details
|
|
A lightweight epistemic logic and its application to planning.Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin & Pierre Régnier - 2021 - Artificial Intelligence 298 (C):103437.details
|
|
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.details
|
|
Doxastic Conditions for Backward Induction.Thorsten Clausing - 2003 - Theory and Decision 54 (4):315-336.details
|
|
A syntactic framework with probabilistic beliefs and conditionals for the analysis of strategic form games.Thorsten Clausing - 2002 - Journal of Logic, Language and Information 11 (3):335-348.details
|
|
A quick guided tour to the modal logic S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2018 - Logic Journal of the IGPL 26 (4):429-451.details
|
|
A note on the complexity of S4.2.Aggeliki Chalki, Costas D. Koutras & Yorgos Zikos - 2021 - Journal of Applied Non-Classical Logics 31 (2):108-129.details
|
|
From KLM-style conditionals to defeasible modalities, and back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.details
|
|
On the Logic of Common Belief.Giacomo Bonanno - 1996 - Mathematical Logic Quarterly 42 (1):305-311.details
|
|
Announcements to Attentive Agents.Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo & François Schwarzentruber - 2016 - Journal of Logic, Language and Information 25 (1):1-35.details
|
|
Positive provability logic for uniform reflection principles.Lev Beklemishev - 2014 - Annals of Pure and Applied Logic 165 (1):82-105.details
|
|
Knowledge updates: Semantics and complexity issues.Chitta Baral & Yan Zhang - 2005 - Artificial Intelligence 164 (1-2):209-243.details
|
|
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Philippe Balbiani, David Fernández-Duque & Emiliano Lorini - 2019 - Studia Logica 107 (3):457-488.details
|
|
Logic and the epistemic foundations of game theory: special issue.Michael O. L. Bacharach & Philippe Mongin - 1994 - Theory and Decision 37 (1):1-6.details
|
|
An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.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
|
|
Logical omniscience as infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.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
|
|
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.M. Ajspur, V. Goranko & D. Shkatov - 2013 - Logic Journal of the IGPL 21 (3):407-437.details
|
|
On Modal Products with th Logic of 'Elsewhere'.Christopher Hampson & Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 339-347.details
|
|
A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief.Michael Wooldridge, Clare Dixon & Michael Fisher - 1998 - Journal of Applied Non-Classical Logics 8 (3):225-258.details
|
|
Relativized common knowledge for dynamic epistemic logic.Yì N. Wáng & Thomas Ågotnes - 2015 - Journal of Applied Logic 13 (3):370-393.details
|
|
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).details
|
|
Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.details
|
|
Dynamics of lying.Hans van Ditmarsch - 2014 - Synthese 191 (5):1-33.details
|
|
Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications.Wiebe van der Hoek & Michael Wooldridge - 2003 - Studia Logica 75 (1):125-157.details
|
|
Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.details
|
|
Logics and collaboration.Liz Sonenberg - 2023 - Logic Journal of the IGPL 31 (6):1024-1046.details
|
|
Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt - 2004 - Studia Logica 78 (3):381-415.details
|
|
Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief.Daniel G. Schwartz - 2003 - Artificial Intelligence 148 (1-2):177-195.details
|
|
A Four-Valued Dynamic Epistemic Logic.Yuri David Santos - 2020 - Journal of Logic, Language and Information 29 (4):451-489.details
|
|
Complexity of intuitionistic propositional logic and its fragments.Mikhail Rybakov - 2008 - Journal of Applied Non-Classical Logics 18 (2):267-292.details
|
|
On the decidability and complexity of reasoning about only knowing.Riccardo Rosati - 2000 - Artificial Intelligence 116 (1-2):193-215.details
|
|
A sound and complete tableau calculus for reasoning about only knowing and knowing at most.Riccardo Rosati - 2001 - Studia Logica 69 (1):171-191.details
|
|
Doxastic logic: a new approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.details
|
|
Majority merging by adaptive counting.Giuseppe Primiero & Joke Meheus - 2008 - Synthese 165 (2):203 - 223.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
|
|
Distributed Knowability and Fitch’s Paradox.Rafał Palczewski - 2007 - Studia Logica 86 (3):455-478.details
|
|
Super-Strict Implications.Guido Gherardi & Eugenio Orlandelli - 2021 - Bulletin of the Section of Logic 50 (1):1-34.details
|
|
Belief as defeasible knowledge.Yoram Moses & Yoav Shoham - 1993 - Artificial Intelligence 64 (2):299-321.details
|
|
Strongly decidable properties of modal and intuitionistic calculi.L. Maksimova - 2000 - Logic Journal of the IGPL 8 (6):797-819.details
|
|
Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.details
|
|
Strong Completeness Theorems for Weak Logics of Common Belief.Lismont Luc & Mongin Philippe - 2003 - Journal of Philosophical Logic 32 (2):115-137.details
|
|
Rethinking epistemic logic with belief bases.Emiliano Lorini - 2020 - Artificial Intelligence 282 (C):103233.details
|
|
A logic for reasoning about counterfactual emotions.Emiliano Lorini & François Schwarzentruber - 2011 - Artificial Intelligence 175 (3-4):814-847.details
|
|