scientific article; zbMATH DE number 1489626
From MaRDI portal
Publication:4495850
Recommendations
Cited in
(28)- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom
- Indexed systems of sequents and cut-elimination
- Combining classical logic, paraconsistency and relevance
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs
- The modal logic of reverse mathematics
- A short introduction to intuitionistic logic
- The Gödel-Tarski translations of intuitionistic propositional formulas
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- Modal logic. An introduction to its syntax and semantics
- Well-behaved modal logics
- scientific article; zbMATH DE number 732978 (Why is no real title available?)
- Free variable tableaux for propositional modal logics
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 2101969 (Why is no real title available?)
- Logic script 2. Introduction to modal logic
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
- 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
- An introduction to classical and modal logics. The outlines of knowledge (to appear)
- One variable relevant logics are S5Ish
- Proof analysis in intermediate logics
- Symmetry and completeness in relevant epistemic logic
- A property of the intuitionistic fuzzy modal operator \(X_{B,C,D,F,G}\)
- Proof analysis in modal logic
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4495850)
