DEMO

swMATH29079MaRDI QIDQ40793FDOQ40793

Author name not available (Why is that?)

Cited In (8)

• Populational announcement logic (PPAL)
• A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic
• Connecting dynamic epistemic and temporal epistemic logics
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• Three Steps
• The language of social software
• Logic and social cognition. The facts matter, and so do computational models
• Verification and strategy synthesis for coalition announcement logic

This page was built for software: DEMO