scientific article; zbMATH DE number 1489626
From MaRDI portal
zbMath0942.03515MaRDI QIDQ4495850
Publication date: 13 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items
The Gödel-Tarski Translations of Intuitionistic Propositional Formulas, Indexed systems of sequents and cut-elimination, Mechanising Gödel-Löb provability logic in HOL light, Varieties of Relevant S5, FRACTIONAL-VALUED MODAL LOGIC, TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS, Fractional-Valued Modal Logic and Soft Bilateralism, Free variable tableaux for propositional modal logics, Proof analysis in intermediate logics, Combining classical logic, paraconsistency and relevance, Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs, Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom, The modal logic of reverse mathematics, Proof analysis in modal logic, Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
