e-space
Manchester Metropolitan University's Research Repository

Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL

Babenyshev, Sergey and Rybakov, Vladimir V. (2008) Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL. ISSN 1611-3349

Full text not available from this repository.

Abstract

Our paper considers a hybrid between the multi-agent logic with the local common knowledge operation and an extended version of the linear temporal logic . The logic is based on the semantics of Kripe/Hintikka models with potentially infinite runs and the time points represented by clusters of states with agents’ accessibility relations. We study the satisfiability problem for and related decidability problem. The key result is an algorithm which recognizes theorems of (so we show that is decidable), which, as a consequence, also solves the satisfiability problem. Technique is based on verification of validity for special normal reduced forms of rules in models of double exponential in the size of rules.

Impact and Reach

Statistics

Downloads
Activity Overview
0Downloads
120Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

Edit Item Edit Item