Complete axiomatizations for reasoning about knowledge and branching time (Q1420806)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete axiomatizations for reasoning about knowledge and branching time |
scientific article |
Statements
Complete axiomatizations for reasoning about knowledge and branching time (English)
0 references
23 January 2004
0 references
Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time. The notions of synchrony, perfect recall and unique initial states are studied. The language is based on the temporal logic CTL*, interpreted with respect to a version of the bundle semantics.
0 references
modal logic
0 references
epistemic logic
0 references
logic of knowledge
0 references
temporal logic
0 references
branching time
0 references
bundle semantics
0 references
multi-agent systems
0 references
perfect recall
0 references
synchrony
0 references
