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)

Full work available at URL https://doi.org/10.1007/BF01306967

zbMATH Keywords

complete axiomaticsmodal logic

Mathematics Subject Classification ID

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

Review text

The author gives a complete axiomatics for the set of modal formulas not belonging to the modal logic S4.

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)

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

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)