- Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.details
|
|
Dynamic term-modal logic. Kooi, Barteld - unknowndetails
|
|
Quantified Hintikka-style epistemic logic.Lauri Carlson - 1988 - Synthese 74 (2):223 - 262.details
|
|
Restricted range in epistemic logic.Robert C. Sleigh - 1972 - Journal of Philosophy 69 (3):67-77.details
|
|
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.details
|
|
Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.details
|
|
Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.details
|
|
An Internal Version of Epistemic Logic.Guillaume Aucher - 2010 - Studia Logica 94 (1):1-22.details
|
|
Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention.Rasmus Kraemmer Rendsvig - 2014 - Synthese 191 (11):2471-2498.details
|
|
Free Quantified Epistemic Logics.Giovanna Corsi & Eugenio Orlandelli - 2013 - Studia Logica 101 (6):1159-1183.details
|
|
Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknowndetails
|
|
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknowndetails
|
|
The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.details
|
|
(1 other version)Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.details
|
|
Game description language and dynamic epistemic logic compared.Thorsten Engesser, Robert Mattmüller, Bernhard Nebel & Michael Thielscher - 2021 - Artificial Intelligence 292 (C):103433.details
|
|
Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.details
|
|
Propositional Epistemic Logics with Quantification Over Agents of Knowledge.Gennady Shtakser - 2018 - Studia Logica 106 (2):311-344.details
|
|
The Monodic Fragment of Propositional Term Modal Logic.Anantha Padmanabha & R. Ramanujam - 2019 - Studia Logica 107 (3):533-557.details
|
|
Everyone Knows That Someone Knows: Quantifiers Over Epistemic Agents.Pavel Naumov & Jia Tao - 2019 - Review of Symbolic Logic 12 (2):255-270.details
|
|
Constructive knowledge: what agents can achieve under imperfect information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.details
|
|
Naming and identity in epistemic logic part II: a first-order logic for naming.Adam J. Grove - 1995 - Artificial Intelligence 74 (2):311-350.details
|
|