Subformula property in many-valued modal logics

DOI10.2307/2275704zbMath0813.03014OpenAlexW1984835059MaRDI QIDQ4323041

Mitio Takano

Publication date: 7 June 1995

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

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

zbMATH Keywords

subformula propertybinary modal modelimplicational modal modelmany-valued accessibility relationmany-valued version of sequent calculusmany-valued versions of Kripke modeltwo-valued accessibility relation

Mathematics Subject Classification ID

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

Cites Work

• Cut-free systems for three-valued modal logics
• A note on three-valued modal logic
• Possible worlds and many truth values
• Extending the Family of Intuitionistic Many-Valued Logics Introduced by Rousseau
• Cut-Elimination in the Intuitionistic Many-Valued Logic Based on a Partial Order

This page was built for publication: Subformula property in many-valued modal logics