Proof systems for various \textsf{FDE}-based modal logics

DOI10.1017/S1755020319000261MaRDI QIDQ3389489zbMATH OpenOpenAlexWikidataFDO

Authors Heinrich Wansing, Sergey Drobyshevich

Publication date 11 May 2021

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020319000261

zbMATH Keywords

modal logicsequent calculicut-eliminationfirst degree entailmentstrong implication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Disentangling \textsf{FDE}-based paraconsistent modal logics
• A general framework for FDE-based modal logics
• Proof systems for a Gödel modal logic
• Modal logics with Belnapian truth values
• Proof theory for functional modal logic

Cites work

• scientific article; zbMATH DE number 3950488 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Four-valued modal logic: Kripke semantics and duality
• Kripke semantics for modal bilattice logic
• Modal logics with Belnapian truth values
• Paraconsistent modal logic
• Paraconsistent modal logics
• Partiality and its dual
• Positive modal logic
• Reasoning with logical bilattices
• Structural proof theory. With an appendix by Aarne Ranta
• Tools and techniques in modal logic

Cited in

(7)

• Proof internalization in generalized Frege systems for classical logic
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• FDE as a Base for Constructive Logic
• A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
• A general framework for FDE-based modal logics
• On definability of connectives and modal logics over \textbf{FDE}
• Connexive Variants of Modal Logics Over FDE

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Proof systems for various \textsf{FDE}-based modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3389489)