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

DOI10.1017/S1755020319000261zbMATH Open1479.03013OpenAlexW2952678487WikidataQ127661540 ScholiaQ127661540MaRDI QIDQ3389489FDOQ3389489

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

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

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)

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Paraconsistent modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Paraconsistent modal logic
• Positive modal logic
• Tools and techniques in modal logic
• Reasoning with logical bilattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partiality and its dual
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kripke Semantics for Modal Bilattice Logic
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Four-valued modal logic: Kripke semantics and duality

Cited In (5)

• Proof internalization in generalized Frege systems for classical logic
• 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
• Connexive Variants of Modal Logics Over FDE

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)