Search
 
loader loading subjects...
cover
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
X. Huang, R. van der Meyden
549 - 554
10.3233/978-1-60750-606-5-549
Frontiers in Artificial Intelligence and Applications
Volume 215: ECAI 2010
Abstract

In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The paper characterizes the complexity of model checking branching time logics of knowledge in finite state systems with respect to the clock semantics.

Download
Creative Commons License