SMCDEL

MaRDI QIDQ40791swMATHFDO

Official website https://github.com/jrclogic/SMCDEL

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

Described by source

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

Cited in

(15)

• VerICS
• Verification and strategy synthesis for coalition announcement logic
• MCMAS
• MCK
• Dynamic term-modal logics for first-order epistemic planning
• Populational announcement logic (PPAL)
• A lightweight epistemic logic and its application to planning
• criterion
• CacBDD
• Possible worlds semantics based on observation and communication
• Symbolic Model Checking for Dynamic Epistemic Logic
• HasCacBDD
• DEMO
• Hintikka's world
• Dynamic epistemic logics: promises, problems, shortcomings, and perspectives

This page was built for software: SMCDEL