Knowing Values and Public Inspection

DOI10.1007/978-3-662-54069-5_7zbMath1485.03043arXiv1609.03338OpenAlexW3101541439MaRDI QIDQ5224492

Malvin Gattinger, Jan van Eijck, Yanjing Wang

Publication date: 24 July 2019

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.03338

zbMATH Keywords

bisimulationpublic announcement logicknowing what

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items

Adding proof calculi to epistemic logics with structured knowledge, Data-informed knowledge and strategies, BISIMULATIONS FOR KNOWING HOW LOGICS, Unnamed Item, Unnamed Item, Beyond Knowing That: A New Generation of Epistemic Logics, A simple logic of functional dependence, Opaque updates, Epistemic logics with structured knowledge

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Functional dependence in strategic games
• Rationally functional dependence
• Inquisitive dynamic epistemic logic
• Dynamic epistemic logic
• An independence relation for sets of secrets
• Propositional inquisitive logic: a survey
• Independence in information spaces
• Logics of public communications
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions