Symbolic Model Checking for Dynamic Epistemic Logic

DOI10.1007/978-3-662-48561-3_30zbMath1410.68241OpenAlexW2295633432MaRDI QIDQ3457719

Malvin Gattinger, Jan van Eijck, Kaile Su, J. F. A. K. van Benthem

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

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Dynamic epistemic logics: promises, problems, shortcomings, and perspectives ⋮ Program semantics and verification technique for AI-centred programs ⋮ Unnamed Item ⋮ Populational announcement logic (PPAL) ⋮ Possible Worlds Semantics Based on Observation and Communication

Uses Software

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

Cites Work

• Action emulation
• A geometric protocol for cryptography with cards
• Logics of communication and change
• Secure aggregation of distributed information: how a team of agents can safely share secrets in front of a spy
• Dynamic epistemic logic
• Merging frameworks for interaction
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• The Russian cards problem
• Implementation of belief change operators using BDDs
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Graph-Based Algorithms for Boolean Function Manipulation
• Connecting dynamic epistemic and temporal epistemic logics
• Knowledge in multiagent systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Symbolic Model Checking for Dynamic Epistemic Logic