Semantical Approach to Cut Elimination and Subformula Property in Modal Logic

DOI10.1007/978-3-662-48357-2_1zbMath1429.03199OpenAlexW2309699221MaRDI QIDQ5213665

Hiroakira Ono

Publication date: 4 February 2020

Published in: Logic in Asia: Studia Logica Library (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48357-2_1

zbMATH Keywords

cut eliminationembedding theoremsfinite model propertymodal logicssubformula property

Mathematics Subject Classification ID

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

Cites Work

• Algebraic proof theory for substructural logics: cut-elimination and completions
• Residuated lattices. An algebraic glimpse at substructural logics
• On some intuitionistic modal logics
• A study of Kripke-type models for some modal logics by Gentzen's sequential method
• Algebraic aspects of cut elimination
• Untersuchungen über das logische Schliessen. II
• Syntactical and semantical properties of simple type theory
• The finite model property for various fragments of intuitionistic linear logic
• Model existence theorems for modal and intuitionistic logics
• The elimination theorem when modality is present
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Semantical Approach to Cut Elimination and Subformula Property in Modal Logic