DEMO
From MaRDI portal
Software:40793
No author found.
Related Items (8)
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ Logic and social cognition. The facts matter, and so do computational models ⋮ The language of social software ⋮ Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* ⋮ Populational announcement logic (PPAL) ⋮ Connecting dynamic epistemic and temporal epistemic logics ⋮ Three Steps ⋮ Verification and strategy synthesis for coalition announcement logic
This page was built for software: DEMO
