Symbolic Model Checking for Dynamic Epistemic Logic
DOI10.1007/978-3-662-48561-3_30zbMATH Open1410.68241OpenAlexW2295633432MaRDI QIDQ3457719FDOQ3457719
Johan van Benthem, Malvin Gattinger, Jan van Eijck, Kaile Su
Publication date: 17 December 2015
Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)
Full work available at URL: https://pure.uva.nl/ws/files/9249206/168861_del_bdd_lori_15.pdf
Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Graph-Based Algorithms for Boolean Function Manipulation
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Logics of communication and change
- Dynamic epistemic logic
- The dining cryptographers problem: Unconditional sender and recipient untraceability
- Action emulation
- The Russian cards problem
- Model checking Russian cards
- Merging frameworks for interaction
- A geometric protocol for cryptography with cards
- Secure aggregation of distributed information: how a team of agents can safely share secrets in front of a spy
- Implementation of belief change operators using BDDs
- Connecting dynamic epistemic and temporal epistemic logics
- Knowledge in multiagent systems
Cited In (8)
- Populational announcement logic (PPAL)
- Title not available (Why is that?)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
- Schematic Validity in Dynamic Epistemic Logic: Decidability
- Program semantics and verification technique for AI-centred programs
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
- Possible Worlds Semantics Based on Observation and Communication
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
Uses Software
Recommendations
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* 👍 👎
- Symbolic Model Checking for Temporal-Epistemic Logic 👍 👎
- Schematic Validity in Dynamic Epistemic Logic: Decidability 👍 👎
- Intensional protocols for dynamic epistemic logic 👍 👎
- A proof-theoretic semantic analysis of dynamic epistemic logic 👍 👎
- Symbolic Model Checking in Non-Boolean Domains 👍 👎
- Symbolic Model Checking of Logics with Actions 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Symbolic Model Checking for Dynamic Epistemic Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457719)
