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

DOI10.2977/PRIMS/1195189814zbMATH Open0405.03013OpenAlexW2034576617MaRDI QIDQ1257012FDOQ1257012

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

• Title not available (Why is that?)
• Algebraic semantics for modal logics I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The completeness of the first-order functional calculus
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Finite Monadic Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A survey of proof theory
• Title not available (Why is that?)
• The correspondence between cut-elimination and normalization
• 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?)
• A General Theory of Completeness Proofs

Cited In (24)

• A cut-free Gentzen-type system for the modal logic S5
• Through an inference rule, darkly
• 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
• On a multilattice analogue of a hypersequent S5 calculus
• A tableau-like proof procedure for normal modal logics
• A deep inference system for the modal logic S5
• Sequential method in quantum logic
• Semantical approach to cut elimination and subformula property in modal logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• 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)