A Łukasiewicz-style refutation system for the modal logic S4

DOI10.1007/BF01306967MaRDI QIDQ1908788zbMATH OpenFDO

Authors Tomasz Skura

Publication date 6 March 1996

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logiccomplete axiomatics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• scientific article; zbMATH DE number 4212005 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 3358437 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• Refutation calculi for certain intermediate propositional logics
• Refutation systems in modal logic

Cited in

(9)

• Derivation rules as anti-axioms in modal logic
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Syntactic refutations against finite models in modal logic
• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• Which modal logic is the right one?
• scientific article; zbMATH DE number 2024633 (Why is no real title available?)
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• On pairs of dual consequence operations

This page was built for publication: A Łukasiewicz-style refutation system for the modal logic S4

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