scientific article; zbMATH DE number 5046365
From MaRDI portal
Publication:5483012
zbMath1102.03018MaRDI QIDQ5483012
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (8)
Boolean logics with relations ⋮ Boolean Logics with Relations ⋮ Characterizing and extending answer set semantics using possibility theory ⋮ Complete Abstractions and Subclassical Modal Logics ⋮ Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) ⋮ Depth-bounded Epistemic Logic ⋮ Parameterized modal satisfiability ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
This page was built for publication: