scientific article; zbMATH DE number 1499085
From MaRDI portal
zbMath0946.03021MaRDI QIDQ4501138
Publication date: 3 September 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
computational complexitymodal logicprovabilitysatisfiability\(L\)-consistency problem\(L\)-deducibility problem
Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15)
Related Items
Frame definability in finitely valued modal logics, Completing the Picture: Complexity of Graded Modal Logics with Converse, Computational complexity for bounded distributive lattices with negation, Complexity of the universal theory of modal algebras, A modal logic of epistemic games