Hauptsatz for higher-order modal logic

DOI10.2307/2273466zbMath0527.03004OpenAlexW2129927112MaRDI QIDQ3043112

Hirokazu Nishimura

Publication date: 1983

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273466

zbMATH Keywords

cut-elimination theoremS5tableaux methodsequential system of higher-order modal logic

Mathematics Subject Classification ID

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

Cites Work

• A proof of cut-elimination theorem in simple type-theory
• Pragmatics and intensional logic
• A completeness theorem in modal logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Proof theory

This page was built for publication: Hauptsatz for higher-order modal logic