Falsification-aware calculi and semantics for normal modal logics including S4 and S5

DOI10.1007/S10849-022-09386-7MaRDI QIDQ6169323zbMATH OpenOpenAlexFDO

Authors Norihiro Kamide

Publication date 14 August 2023

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10849-022-09386-7

zbMATH Keywords

completeness theoremcut-elimination theoremfalsification-aware (hyper)sequent calculusfalsification-aware Kripke semanticsmodal logic S4modal logic S5Nelson's constructive three-valued logic N3

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A cut-free simple sequent calculus for modal logic S5
• A deductive-reductive form of logic: General theory and intuitionistic case
• A formalization of the propositional calculus of H-B logic
• A remark on Gentzen's calculus of sequents
• A Łukasiewicz-style refutation system for the modal logic S4
• An embedding-based completeness proof for Nelson's paraconsistent logic
• Applications of Kripke models to Heyting-Brouwer logic
• Constructible falsity
• Constructible falsity and inexact predicates
• Counterexample-guided abstraction refinement for symbolic model checking
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Dual-intuitionistic logic
• Embedding from multilattice logic into classical logic and vice versa
• Falsification, natural deduction and bi-intuitionistic logic
• Falsification-aware semantics and sequent calculi for classical logic
• From Frame Properties to Hypersequent Rules in Modal Logics
• Handbook of philosophical logic. Vol. 8
• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• scientific article; zbMATH DE number 3145226 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 6407640 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• scientific article; zbMATH DE number 3074070 (Why is no real title available?)
• Hypersequent calculi for S5: the methods of cut elimination
• Intuitionistic logic with strong negation
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• Modal multilattice logic
• On a multilattice analogue of a hypersequent S5 calculus
• Proof theory of Nelson's paraconsistent logic: a uniform perspective
• Refutation systems in modal logic
• Refutations in Wansing's logic
• Refutations, proofs, and models in the modal logic K4
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semantics-based nonmonotonic inference
• The Logic of Contradiction
• The logic of information structures
• Yet another paradefinite logic: The role of conflation1

Cited in

(3)

• Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics
• Symmetric and conflated intuitionistic logics
• Twist sequent calculi for S4 and its neighbors

This page was built for publication: Falsification-aware calculi and semantics for normal modal logics including S4 and S5

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