scientific article; zbMATH DE number 5046360
From MaRDI portal
Publication:5483006
zbMath1102.03065MaRDI QIDQ5483006
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items (4)
The power of a propositional constant ⋮ FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete
This page was built for publication:
