Pages that link to "Item:Q3457719"
From MaRDI portal
The following pages link to Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719):
Displaying 5 items.
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- Possible Worlds Semantics Based on Observation and Communication (Q3299583) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- (Q5018521) (← links)
