Complexity of finite-variable fragments of propositional modal logics of symmetric frames

10/05/2019
by   Mikhail Rybakov, et al.
0

While finite-variable fragments of the propositional modal logic S5–complete with respect to reflexive, symmetric and transitive frames–are polynomial-time decidable, the restriction to finite-variable formulas for logics of reflexive and transitive frames yields fragments that remain "intractable." The role of the symmetry condition in this context has not been investigated. We show that symmetry either by itself or in combination with reflexivity produces logics that behave just like logics of reflexive and transitive frames, i.e. their finite-variable fragments remain intractable, namely PSPACE-hard. This raises the question of where exactly the borderline lies between modal logics whose finite-variable fragments are tractable and the rest.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/23/2019

Two variable fragment of Term Modal Logic

Term modal logics (TML) are modal logics with unboundedly many modalitie...
research
01/18/2019

Complexity and expressivity of propositional dynamic logics with finitely many variables

We investigate the complexity of satisfiability for finite-variable frag...
research
02/03/2022

Are Bundles Good Deals for FOML?

Bundled products are often offered as good deals to customers. When we b...
research
05/23/2019

Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

Our concern is the axiomatisation problem for modal and algebraic logics...
research
06/29/2021

On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics

During the last decades, a lot of effort was put into identifying decida...
research
06/28/2018

Polynomial-time probabilistic reasoning with partial observations via implicit learning in probability logics

Standard approaches to probabilistic reasoning require that one possesse...
research
01/16/2014

Defeasible Inclusions in Low-Complexity DLs

Some of the applications of OWL and RDF (e.g. biomedical knowledge repre...

Please sign up or login with your details

Forgot password? Click here to reset