scientific article; zbMATH DE number 2024614

zbMath1038.03022MaRDI QIDQ4443189

Mitio Takano

Publication date: 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicsequent calculusinterpolation property

Mathematics Subject Classification ID

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

Related Items (10)

Sequent systems for negative modalities ⋮ A modified subformula property for the modal logic KG1 ⋮ Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3 ⋮ New Modification of the Subformula Property for a Modal Logic ⋮ A modified subformula property for the modal logic KC4 ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Sequent calculi for global modal consequence relations ⋮ A Modified Subformula Property for the Modal Logic S4.2 ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

This page was built for publication: