- Verifying epistemic protocols under common knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.details
|
|
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Studia Logica 16:119-122.details
|
|
Merging Frameworks for Interaction.Johan van Benthem Jelle Gerbrandy - unknowndetails
|
|
Logic of Information Flow on Communi- cation Channels.Yanjing Wang & Jan van Eijck - unknowndetails
|
|
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknowndetails
|
|
An essay in modal logic.G. H. von Wright - 1951 - Amsterdam,: North-Holland Pub. Co..details
|
|
Knowledge and belief.Jaakko Hintikka - 1962 - Ithaca, N.Y.,: Cornell University Press.details
|
|
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.details
|
|
The Russian cards problem.Hans van Ditmarsch - 2003 - Studia Logica 75 (1):31-62.details
|
|
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.details
|
|
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Probabilistic dynamic belief revision.Alexandru Baltag & Sonja Smets - 2008 - Synthese 165 (2):179 - 202.details
|
|
Dealing with logical omniscience: Expressiveness and pragmatics.Joseph Y. Halpern & Riccardo Pucella - 2011 - Artificial Intelligence 175 (1):220-235.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
A knowledge based semantics of messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.details
|
|
Epistemic verification of anonymity.Jan van Eijck - unknowndetails
|
|
Automatic verification of temporal-epistemic properties of cryptographic protocols.Ioana Boureanu, Mika Cohen & Alessio Lomuscio - 2009 - Journal of Applied Non-Classical Logics 19 (4):463-487.details
|
|
Monadic second order definable relations on the binary tree.Hans Läuchli & Christian Savioz - 1987 - Journal of Symbolic Logic 52 (1):219-226.details
|
|
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.Kai Engelhardt, Ron van der Meyden & Kaile Su - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 9-30.details
|
|
Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers.Kai Engelhardt, Ron van der Meyden & Kaile Su - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 9-30.details
|
|