- Two Reformulations of the Verificationist Thesis in Epistemic Temporal Logic that Avoid Fitch’s Paradox.Alexandru Dragomir - 2014 - Romanian Journal of Analytic Philosophy 8 (1):44-62.details
|
|
Editors’ Review and Introduction: Lying in Logic, Language, and Cognition.Hans Ditmarsch, Petra Hendriks & Rineke Verbrugge - 2020 - Topics in Cognitive Science 12 (2):466-484.details
|
|
Dynamics we can believe in: a view from the Amsterdam School on the centenary of Evert Willem Beth.Cédric Dégremont & Jonathan Zvesper - 2011 - Synthese 179 (2):223 - 238.details
|
|
Awareness of_ and _awareness that: their combination and dynamics.Claudia Fernández-Fernández & Fernando R. Velázquez-Quesada - 2021 - Logic Journal of the IGPL 29 (4):601-626.details
|
|
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.details
|
|
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.Lorenz6 Demey & Hans5 Smessaert - 2018 - Journal of Philosophical Logic 47 (2):325-363.details
|
|
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.details
|
|
Contextology.Simon Goldstein & Cameron Domenico Kirk-Giannini - 2022 - Philosophical Studies 179 (11):3187-3209.details
|
|
Inquisitive dynamic epistemic logic.Ivano A. Ciardelli & Floris Roelofsen - 2015 - Synthese 192 (6):1643-1687.details
|
|
Communication Pattern Logic: Epistemic and Topological Views.Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth & Diego A. Velázquez - 2023 - Journal of Philosophical Logic 52 (5):1445-1473.details
|
|
Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms.Ryo Hatano & Katsuhiko Sano - 2020 - Studia Logica 109 (1):95-124.details
|
|
Editors’ Review and Introduction: Lying in Logic, Language, and Cognition.Hans van Ditmarsch, Petra Hendriks & Rineke Verbrugge - 2020 - Topics in Cognitive Science 12 (2):466-484.details
|
|
A model for updates in a multi-agent setting.John Cantwell - 2007 - Journal of Applied Non-Classical Logics 17 (2):183-196.details
|
|
A formal model of multi-agent belief-interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):397-422.details
|
|
A Formal Model of Multi-Agent Belief-Interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):303-329.details
|
|
A Closeness- and Priority-Based Logical Study of Social Network Creation.Sonja Smets & Fernando R. Velázquez-Quesada - 2020 - Journal of Logic, Language and Information 29 (1):21-51.details
|
|
The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.details
|
|
Knowledge updates: Semantics and complexity issues.Chitta Baral & Yan Zhang - 2005 - Artificial Intelligence 164 (1-2):209-243.details
|
|
Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.details
|
|
Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.details
|
|
Keep 'hoping' for rationality: A solution to the backward induction paradox.Alexandru Baltag, Sonja Smets & Jonathan Alexander Zvesper - 2009 - Synthese 169 (2):301 - 333.details
|
|
Keep ‘hoping’ for rationality: a solution to the backward induction paradox.Alexandru Baltag, Sonja Smets & Jonathan Alexander Zvesper - 2009 - Synthese 169 (2):301-333.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
'Knowable' as 'known after an announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - Review of Symbolic Logic 1 (3):305-334.details
|
|
Bilattice logic of epistemic actions and knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.details
|
|
Is unsaying polite?Berislav Žarnić - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 201--224.details
|
|
Relation-changing modal operators: Fig. 1.Carlos Areces, Raul Fervari & Guillaume Hoffmann - 2015 - Logic Journal of the IGPL 23 (4):601-627.details
|
|
What a maker’s knowledge could be.Luciano Floridi - 2018 - Synthese 195 (1):465-481.details
|
|
The Surprise Examination in Dynamic Epistemic Logic.J. Gerbrandy - 2007 - Synthese 155 (1):21-33.details
|
|
Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.details
|
|
Meaning and Use of Indefinite Expressions.Dekker Paul - 2002 - Journal of Logic, Language and Information 11 (2):141-194.details
|
|
Information dynamics and uniform substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.details
|
|
Foreword.Hans Van Ditmarsch & Andreas Herzig - 2007 - Journal of Applied Non-Classical Logics 17 (2):125-128.details
|
|
Meaning, Interpretation.Martin Stokhof - 2002 - In David Barker-Plummer, David I. Beaver, Johan van Benthem & Patrick Scotto di Luzio (eds.), Words, Proofs, and Diagrams. Center for the Study of Language and Inf. pp. 217-240.details
|
|
Logical dynamics of some speech acts that affect obligations and preferences.Tomoyuki Yamada - 2008 - Synthese 165 (2):295 - 315.details
|
|
(1 other version)Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Outstanding Contributions to Logic: Jaakko Hintikka. Springer.details
|
|
Towards a “Sophisticated” Model of Belief Dynamics. Part I: The General Framework.Brian Hill - 2008 - Studia Logica 89 (1):81-109.details
|
|
The Undecidability of Iterated Modal Relativization.Joseph S. Miller & Lawrence S. Moss - 2005 - Studia Logica 79 (3):373-407.details
|
|
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic.Minghui Ma, Alessandra Palmigiano & Mehrnoosh Sadrzadeh - 2014 - Annals of Pure and Applied Logic 165 (4):963-995.details
|
|
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.details
|
|
A Semantic Approach to Non-prioritized Belief Revision.Elise Perrotin & Fernando R. Velázquez-Quesada - 2021 - Logic Journal of the IGPL 29 (4):644-671.details
|
|
Uncertainty, Rationality, and Agency.Wiebe van der Hoek - 2006 - Dordrecht, Netherland: Springer.details
|
|
Rethinking epistemic logic with belief bases.Emiliano Lorini - 2020 - Artificial Intelligence 282 (C):103233.details
|
|
Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.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
|
|
True lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.details
|
|
Reasoning Processes as Epistemic Dynamics.Olga Pombo - 2015 - Axiomathes 25 (1):41-60.details
|
|
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.details
|
|
A new solution to Moore's paradox.Anthony S. Gillies - 2001 - Philosophical Studies 105 (3):237-250.details
|
|
The Russian cards problem.Hans van Ditmarsch - 2003 - Studia Logica 75 (1):31-62.details
|
|