Complete Axiomatizations for Reasoning about Knowledge and Branching Time |
| |
| Authors: | van der Meyden Ron Wong Ka-shu |
| |
| Affiliation: | (1) School of Computer Science and Engineering, University of New South Wales, Sydney, 2052, Australia |
| |
| Abstract: | 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, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to a version of the bundle semantics. |
| |
| Keywords: | modal logic epistemic logic logic of knowledge temporal logic branching time multi-agent systems perfect recall synchrony |
| 本文献已被 SpringerLink 等数据库收录！ |
|
