scientific article
From MaRDI portal
Publication:4032549
zbMath0821.03010MaRDI QIDQ4032549
Publication date: 1 April 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicsequent calculidecision proceduremodal propositional logicssubformula propertyCraig's interpolation lemma
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items (10)
Hypersequent rules with restricted contexts for propositional modal logics ⋮ A modified subformula property for the modal logic KG1 ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS ⋮ A modified subformula property for the modal logic KC4 ⋮ Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps ⋮ 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 ⋮ ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC
This page was built for publication:
