The following pages link to DEMO (Q40793):
Displaying 8 items.
- The language of social software (Q625718) (← links)
- Logic and social cognition. The facts matter, and so do computational models (Q843769) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- Three Steps (Q3092292) (← links)
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (Q4612409) (← links)
- Connecting dynamic epistemic and temporal epistemic logics (Q4925178) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)