Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (Q4612409)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* |
scientific article; zbMATH DE number 7009523
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* |
scientific article; zbMATH DE number 7009523 |
Statements
Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (English)
0 references
31 January 2019
0 references
symbolic model checking
0 references
dynamic epistemic logic
0 references
knowledge representation
0 references
binary decision diagrams
0 references
muddy children
0 references
Russian cards
0 references
0 references
0.9471662
0 references
0.91857815
0 references
0.88454545
0 references
0.88264376
0 references
0.8767462
0 references
0.8736222
0 references
0.86973256
0 references
