Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tableaux for logics of time and knowledge with interactions relating to synchrony |
scientific article |
Statements
Tableaux for logics of time and knowledge with interactions relating to synchrony (English)
0 references
30 November 2009
0 references
temporal logics of knowledge
0 references
tableaux
0 references
synchrony and perfect recall
0 references
synchrony and no learning
0 references
