- The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-106.details
|
|
The Tree of Knowledge in Action: Towards a Common Perspective.Johan van Benthem & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 87-106.details
|
|
Merging Frameworks for Interaction.Johan Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Diversity of Logical Agents in Games.Johan van Benthem & Liu - 2004 - Philosophia Scientiae 8 (2):163-178.details
|
|
Diversity of Logical Agents in Games.Johan van Benthem & Fenrong Liu - 2004 - Philosophia Scientiae 8:163-178.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.details
|
|
A knowledge based semantics of messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.details
|
|
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.details
|
|
Bridging learning theory and dynamic epistemic logic.Nina Gierasimczuk - 2009 - Synthese 169 (2):371-384.details
|
|
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.details
|
|
Modeling belief in dynamic systems, part I: Foundations.Nir Friedman & Joseph Y. Halpern - 1997 - Artificial Intelligence 95 (2):257-316.details
|
|
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.details
|
|
Agreement Theorems in Dynamic-Epistemic Logic.Cédric Dégremont & Oliver Roy - 2012 - Journal of Philosophical Logic 41 (4):735-764.details
|
|
Axiomatic characterization of the AGM theory of belief revision in a temporal logic.Giacomo Bonanno - 2007 - Artificial Intelligence 171 (2-3):144-160.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
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
'One is a Lonely Number': on the logic of communication.Johan van Benthem - unknowndetails
|
|
Merging Frameworks for Interaction.Johan van Benthem Jelle Gerbrandy - unknowndetails
|
|
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknowndetails
|
|