SMCDEL

swMATH29077MaRDI QIDQ40791FDOQ40791

Author name not available (Why is that?)

Source code repository: https://github.com/jrclogic/SMCDEL

Described by source

• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*

Cited In (7)

• Populational announcement logic (PPAL)
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives
• Possible Worlds Semantics Based on Observation and Communication
• A lightweight epistemic logic and its application to planning
• Dynamic term-modal logics for first-order epistemic planning
• Verification and strategy synthesis for coalition announcement logic
• Symbolic Model Checking for Dynamic Epistemic Logic

This page was built for software: SMCDEL