scientific article
From MaRDI portal
Publication:2721196
zbMath0963.03076MaRDI QIDQ2721196
Publication date: 1 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)
Related Items (5)
Modal Logics with Hard Diamond-Free Fragments ⋮ A linear logic framework for multimodal logics ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ NEXP-Completeness and Universal Hardness Results for Justification Logic ⋮ A fresh view of linear logic as a logical framework
This page was built for publication:
