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

Mathematics Subject Classification ID

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

• CUDD
• MCMAS
• CacBDD
• SMCDEL
• HasCacBDD
• GitHub

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)