A study of Kripke-type models for some modal logics by Gentzen's sequential method

DOI10.2977/PRIMS/1195189814MaRDI QIDQ1257012zbMATH OpenOpenAlexFDO

Authors Masahiko Sato

Publication date 1977

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2977/prims/1195189814

zbMATH Keywords

S5KnowledgePossible WorldsCompleteness ProofsCut-Free SystemsGeneralized Gentzen-Type SequencesKripke-Type ModelsKripke-Type SemanticsMulti-Modal SystemsPuzzle of Unfaithful WivesWise Men Puzzle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites work

• scientific article; zbMATH DE number 3131074 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3492652 (Why is no real title available?)
• scientific article; zbMATH DE number 3532927 (Why is no real title available?)
• scientific article; zbMATH DE number 3220362 (Why is no real title available?)
• scientific article; zbMATH DE number 3252193 (Why is no real title available?)
• scientific article; zbMATH DE number 3269003 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3353247 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A General Theory of Completeness Proofs
• A survey of proof theory
• Algebraic semantics for modal logics I
• An algebraic approach to non-classical logics
• Finite Monadic Algebras
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The completeness of the first-order functional calculus
• The correspondence between cut-elimination and normalization

Cited in

(24)

• Through an inference rule, darkly
• A cut-free Gentzen-type system for the modal logic S5
• Evaluations of epistemic components for resolving the muddy children puzzle
• A perspective on modal sequent logic
• Sequential method in propositional dynamic logic
• Small infinitary epistemic logics
• The Došen square under construction: a tale of four modalities
• Display calculi and other modal calculi: a comparison
• Belief, awareness, and limited reasoning
• Hypersequent calculi for S5: the methods of cut elimination
• Mechanizing common knowledge logic using COQ
• A study of some tense logics by Gentzen's sequential method
• A tableau-like proof procedure for normal modal logics
• On a multilattice analogue of a hypersequent S5 calculus
• A deep inference system for the modal logic S5
• Sequential method in quantum logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Semantical approach to cut elimination and subformula property in modal logic
• The complexity of reasoning about knowledge and time. I: Lower bounds
• Multicomponent proof-theoretic method for proving interpolation properties
• Knowledge, Time, and Logical Omniscience
• Deep sequent systems for modal logic
• On some intuitionistic modal logics
• Cut-free sequent calculi for some tense logics

This page was built for publication: A study of Kripke-type models for some modal logics by Gentzen's sequential method

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