A study of some tense logics by Gentzen's sequential method

DOI10.2977/prims/1195187208zbMath0446.03013OpenAlexW2093277904MaRDI QIDQ1145691

Hirokazu Nishimura

Publication date: 1980

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/1195187208

zbMATH Keywords

semantical completenessGentzen methodGentzen-type sequential systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

A survey of nonstandard sequent calculi ⋮ Sequential method in propositional dynamic logic

Cites Work

• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Model theory for tense logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A study of some tense logics by Gentzen's sequential method