SMCDEL

swMATH29077MaRDI QIDQ40791

No author found.

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

Described by source

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

Related Items (7)

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

This page was built for software: SMCDEL