A cut-free sequential system for the propositional modal logic of finite chains

DOI10.2977/PRIMS/1195182989zbMath0524.03011OpenAlexW2034754094MaRDI QIDQ585187

Hirokazu Nishimura

Publication date: 1983

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

zbMATH Keywords

modal logicproof theorycompleteness theoremcut-eliminationfinite chainssaturated modelsGentzen sequential system

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Cites Work

• A cut-free Gentzen-type system for the modal logic S5
• On the proof theory of the modal logic for arithmetic provability
• Arithmetical necessity, provability and intuitionistic logic
• Proof theory
• Unnamed Item
• Unnamed Item

This page was built for publication: A cut-free sequential system for the propositional modal logic of finite chains