A study of Kripke-type models for some modal logics by Gentzen's sequential method
type: Item
instance of: scholarly article
title: A study of Kripke-type models for some modal logics by Gentzen's sequential method
zbMATH Open document ID: 0405.03013
author: Masahiko Sato
published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 3628927
zbMATH Keywords: Kripke-Type Models
zbMATH Keywords: Multi-Modal Systems
zbMATH Keywords: Knowledge
zbMATH Keywords: Completeness Proofs
zbMATH Keywords: Kripke-Type Semantics
zbMATH Keywords: Possible Worlds
zbMATH Keywords: Generalized Gentzen-Type Sequences
zbMATH Keywords: Cut-Free Systems
zbMATH Keywords: S5
zbMATH Keywords: Wise Men Puzzle
zbMATH Keywords: Puzzle of Unfaithful Wives
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2977/prims/1195189814
OpenAlex ID: W2034576617
cites work: Finite Monadic Algebras
cites work: Q4074882
cites work: Q5582318
cites work: Q5572358
cites work: The completeness of the first-order functional calculus
cites work: A survey of proof theory
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Algebraic semantics for modal logics I
cites work: Q5553251
cites work: A General Theory of Completeness Proofs
cites work: Q5508993
cites work: Q3247119
cites work: Q5559220
cites work: Q5632554
cites work: Q4109655
cites work: An algebraic approach to non-classical logics
cites work: Q5734410
cites work: Q5538910
cites work: Q4068699
cites work: Q5628097
cites work: The correspondence between cut-elimination and normalization
DOI: 10.2977/PRIMS/1195189814
description: scientific article; zbMATH DE number 3628927