scientific article; zbMATH DE number 970625

MaRDI QIDQ5688804zbMATH OpenFDO

Authors Tomasz Skura

Publication date 1996

zbMATH Keywords

decidabilitymodal logic S4refutation calculus

Mathematics Subject Classification ID

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

Recommendations

• Terminating sequent calculi for proving and refuting formulas in S4
• Refutations, proofs, and models in the modal logic K4
• Refutation systems in modal logic
• scientific article; zbMATH DE number 970622

Cited in

(8)

• Refutation systems in modal logic
• Refutations, proofs, and models in the modal logic K4
• Syntactic refutations against finite models in modal logic
• On pairs of dual consequence operations
• DLEAC: a dialetheic logic with exclusive assumptions and conclusions
• Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• Refutation systems: an overview and some applications to philosophical logics

This page was built for publication:

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