PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS

DOI10.1017/S1755020319000261zbMath1479.03013OpenAlexW2952678487WikidataQ127661540 ScholiaQ127661540MaRDI QIDQ3389489

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 logicfirst degree entailmentcut-eliminationsequent calculistrong implication

Mathematics Subject Classification ID

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

Related Items (1)

Connexive Variants of Modal Logics Over FDE

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tools and techniques in modal logic
• 40 years of FDE: an introductory overview
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Partiality and its dual
• Positive modal logic
• Reasoning with logical bilattices
• Paraconsistent Modal Logics
• Four-valued modal logic: Kripke semantics and duality
• Kripke Semantics for Modal Bilattice Logic

This page was built for publication: PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS