- Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.details
|
|
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.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
|
|
The Ryōan-ji axiom for common knowledge on hypergraphs.Jeffrey Kane & Pavel Naumov - 2014 - Synthese 191 (14):3407-3426.details
|
|
Epistemic models of shallow depths and decision making in games: Horticulture.Mamoru Kaneko & Nobu-Yuki Suzuki - 2003 - Journal of Symbolic Logic 68 (1):163-186.details
|
|
Representing any-time and program-iteration by infinitary conjunction.Norihiro Kamide - 2013 - Journal of Applied Non-Classical Logics 23 (3):284 - 298.details
|
|
Structured belief bases.Reinhard Kahle - 2002 - Logic and Logical Philosophy 10:45.details
|
|
A Proof-theoretic View of Necessity.Reinhard Kahle - 2006 - Synthese 148 (3):659-673.details
|
|
A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic.M. Kacprzak & W. Penczek - 2004 - Synthese 142 (2):203-227.details
|
|
The Problem of Rational Knowledge.Mark Jago - 2013 - Erkenntnis (S6):1-18.details
|
|
Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.details
|
|
Synchronizing Diachronic Uncertainty.Alistair Isaac & Tomohiro Hoshi - 2011 - Journal of Logic, Language and Information 20 (2):137-159.details
|
|
Invitation to Autoepistemology.Lloyd Humberstone - 2002 - Theoria 68 (1):13-51.details
|
|
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.details
|
|
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.details
|
|
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
|
|
Towards a theory of intention revision.Wiebe van Der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.details
|
|
The fallacies of the new theory of reference.Jaakko Hintikka & Gabriel Sandu - 1995 - Synthese 104 (2):245 - 283.details
|
|
Awareness Dynamics.Brian Hill - 2010 - Journal of Philosophical Logic 39 (2):113-137.details
|
|
Modal-Epistemic Arithmetic and the problem of quantifying in.Jan Heylen - 2013 - Synthese 190 (1):89-111.details
|
|
On the Dynamics of Institutional Agreements.Andreas Herzig, Tiago de Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321 - 355.details
|
|
Where’s the Bridge? Epistemology and Epistemic Logic.Vincent F. Hendricks & John Symons - 2006 - Philosophical Studies 128 (1):137-167.details
|
|
Iterative and fixed point common belief.Aviad Heifetz - 1999 - Journal of Philosophical Logic 28 (1):61-79.details
|
|
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.details
|
|
The Role of the Protocol in Anthropic Reasoning.Joseph Y. Halpern - 2015 - Ergo: An Open Access Journal of Philosophy 2:195-206.details
|
|
Probability and conditionals: Belief revision and rational decision.Joseph Y. Halpern - 2000 - Philosophical Review 109 (2):277-281.details
|
|
On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.details
|
|
Intransitivity and vagueness.Joseph Y. Halpern - 2008 - Review of Symbolic Logic 1 (4):530-547.details
|
|
On the possibility of group knowledge without belief.Raul Hakli - 2007 - Social Epistemology 21 (3):249 – 266.details
|
|
Reasoning About Collectively Accepted Group Beliefs.Raul Hakli & Sara Negri - 2011 - Journal of Philosophical Logic 40 (4):531-555.details
|
|
Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.details
|
|
The incorporation of Moorean type information by introspective agents.Jiahong Guo - 2009 - Frontiers of Philosophy in China 4 (3):470-482.details
|
|
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking.Dimitar P. Guelev, Catalin Dima & Constantin Enea - 2011 - Journal of Applied Non-Classical Logics 21 (1):93-131.details
|
|
Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.details
|
|
Iteration Principles in Epistemology I: Arguments For.Daniel Greco - 2015 - Philosophy Compass 10 (11):754-764.details
|
|
Iteration Principles in Epistemology II: Arguments Against.Daniel Greco - 2015 - Philosophy Compass 10 (11):765-771.details
|
|
Sub-models for interactive unawareness.Simon Grant, J. Jude Kline, Patrick O’Callaghan & John Quiggin - 2015 - Theory and Decision 79 (4):601-613.details
|
|
Rationalizing epistemic bounded rationality.Konrad Grabiszewski - 2015 - Theory and Decision 78 (4):629-637.details
|
|
Manipulating Games by Sharing Information.John Grant, Sarit Kraus, Michael Wooldridge & Inon Zuckerman - 2014 - Studia Logica 102 (2):267-295.details
|
|
What will they say?—Public Announcement Games.Hans van Ditmarsch & Thomas Ågotnes - 2011 - Synthese 179 (S1):57 - 85.details
|
|
Logic and Games: an Introduction.Thomas Ågotnes - 2014 - Studia Logica 102 (2):231-234.details
|
|
A Logic for Reasoning About Knowledge of Unawareness.Thomas Ågotnes & Natasha Alechina - 2014 - Journal of Logic, Language and Information 23 (2):197-217.details
|
|
Action and Knowledge in Alternating-Time Temporal Logic.Thomas Ågotnes - 2006 - Synthese 149 (2):375-407.details
|
|
Reasoning-based introspection.Olivier Gossner & Elias Tsakas - 2012 - Theory and Decision 73 (4):513-523.details
|
|
Saber que algo no existe: existencia y lógica epistémica.Emilio Gómez-Caminero Parejo - 2013 - Revista de Humanidades de Valparaíso 1:41-53.details
|
|
Paraconsistent dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.details
|
|
On the factivity of implicit intersubjective knowledge.Alessandro Giordani - 2014 - Synthese 191 (8):1909-1923.details
|
|
On a New Tentative Solution to Fitch’s Paradox.Alessandro Giordani - 2016 - Erkenntnis 81 (3):597-611.details
|
|
A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.details
|
|