Decidability and Complexity of Some Interpretability Logics (CROSBI ID 683767)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa
Podaci o odgovornosti
Mikec, Luka ; Perkov, Tin ; Vuković, Mladen
engleski
Decidability and Complexity of Some Interpretability Logics
The usual way to prove decidability of a modal logic with relational (Kripke-style) semantics is to prove it has the finite model property. Interpretability logics are usually interpreted on classes of Veltman models, or generalized Veltman models, which are both extensions of Kripke models. We will describe an approach to proving the finite model property by defining a certain filtration of generalized Veltman models. We use this approach to prove decidability of the logic ILM0 and ILW*. We also study computational complexity of logics based on Veltman models. We prove that the logic IL is in PSPACE ; and since it was already known to be PSPACE-hard, we conclude that it is PSPACE-complete. We will comment on complexity of some other interpretability logics with finite model property.
interpretability logic ; decidability ; complexity
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
29-31.
2017.
objavljeno
Podaci o matičnoj publikaciji
Book of Abstracts of the 6 th International Conference on Logic and Applications - LAP 2017
Podaci o skupu
Logic and Applications 2017
predavanje
18.09.2017-22.09.2017
Dubrovnik, Hrvatska