Refutations, proofs, and models in the modal logic K4

DOI10.1023/A:1015174332202MaRDI QIDQ1604792zbMATH OpenOpenAlexFDO

Authors Tomasz Skura

Publication date 8 July 2002

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1015174332202

zbMATH Keywords

decidabilityprovability logicpossible worlds semanticsS4modal logic K4syntactic decision procedureGrzegorczyk's logicrefutation rules

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 2024633
• scientific article; zbMATH DE number 1922478
• scientific article; zbMATH DE number 966896
• scientific article; zbMATH DE number 970625
• Syntactic refutations against finite models in modal logic

Cited in

(13)

• On refutation rules
• Intuitionistic Socratic procedures
• 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
• Maximality and refutability
• Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation
• Refutation systems in modal logic
• scientific article; zbMATH DE number 1922478 (Why is no real title available?)
• scientific article; zbMATH DE number 2024633 (Why is no real title available?)
• Refutations in Wansing's logic
• Falsification-aware calculi and semantics for normal modal logics including S4 and S5
• On the modal logic K plus theories
• Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic

This page was built for publication: Refutations, proofs, and models in the modal logic K4

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