Pages that link to "Item:Q3457719"
From MaRDI portal
The following pages link to Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719):
Displayed 5 items.
- 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)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)