2 search results - page 1 / 1 » Sequent Calculi for Branching Time Temporal Logics of Knowle... |
INFORMATICALT
2007
13 years 4 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
INFORMATICALT
2006
13 years 4 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...