AG 1, AG 3, AG 5, SWS, AG 4, RG1, MMCI   Info

AG Audience

English

30 Minutes

Saarbrücken

Hybrid logics are extensions of modal logic that allow, in addition to the usual perspective on states and their successors in relational structures, for naming and accessing states of a structure explicitly. These features are desirable in applications, for example, in the temporal or epistemic context. However, the price paid for the extra expressivity is a high complexity or even undecidability of the standard reasoning problem, satisfiability. In this talk, we will embark on a journey through the complexity landscape of hybrid logics

-- we will encounter languages with different combinations of modal, hybrid and propositional operators, consider different frame classes, and see which combinations of operators and frame classes lead to computationally good or bad behaviour. The main goal will be to give an extensive overview and to highlight interesting observations.

gk-sek

0681-302-5312

--email hidden

passcode not visible

logged in users only

Complexity of hybrid logics