Publication:5465436

zbMath1076.03012MaRDI QIDQ5465436

Alexander Chagrov, Mikhail Rybakov

Publication date: 22 August 2005

zbMATH Keywords

computational complexity; modal logic; decision problem; one-variable fragments; variable-free fragments

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B25: Decidability of theories and sets of sentences

03D15: Complexity of computation (including implicit computational complexity)