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

DOI10.1007/BF01306967zbMath0847.03015MaRDI QIDQ1908788

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)

Related Items (6)

Syntactic refutations against finite models in modal logic ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ On pairs of dual consequence operations ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ Which modal logic is the right one?

Cites Work

• Refutation calculi for certain intermediate propositional logics
• Refutation systems in modal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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