| Title |
Sequent calculi for branching time temporal logics of knowledge and belief / |
| Translation of Title |
Sekvencijų skaičiavimas skaidaus laiko žinių ir tikėjimo logikoms. |
| Authors |
Sakalauskaitė, Jūratė |
| Full Text |
|
| Is Part of |
Informatica. 2007, Vol. 18, no. 1, p. 103-114.. ISSN 0868-4952 |
| Keywords [eng] |
Logic of knowledge and belief, temporal ; Time, branching ; Calculus, sequent ; Cut |
| Abstract [eng] |
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" with the branching temporal logic operator "on all paths". The latter operator is interpreted with respect to a version of the bundle semantics. In addition the temporal logic of knowledge (belief) contains an indexed set of unary modal operators "agent i knows" ("agent i believes") and it contains the modality of common knowledge (belief). For these logics we present sequent calculi with a restricted cut rule. Thus, we get proof systems where proof-search becomes decidable. The soundness and completeness for these calculi are proved. |
| Type |
Journal article |
| Language |
English |
| Publication date |
2007 |
