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

DOI10.1007/BF01306967zbMATH Open0847.03015MaRDI QIDQ1908788FDOQ1908788

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

• Refutation systems in modal logic
• Refutation calculi for certain intermediate propositional logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• On pairs of dual consequence operations
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Derivation rules as anti-axioms in modal logic
• Which modal logic is the right one?
• 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
• Title not available (Why is that?)
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic
• Syntactic refutations against finite models in modal logic

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)