
handle: 10044/1/95363 , 1885/84737
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomatisation of a particular logic and its coalgebraic semantics that guarantee that the cut-rule is admissible in the ensuing sequent calculus. We then independently isolate a purely syntactic property of the set of modal rules that guarantees cut elimination. Apart from the fact that cut elimination holds, our main result is that the syntactic and semantic assumptions are equivalent in case the logic is amenable to coalgebraic semantics. As applications we present a new proof of the (already known) interpolation property for coalition logic and newly establish the interpolation property for the conditional logics CK and CK + ID.
Coherence conditions, Differentiation (calculus), Syntactic properties, Interpolation, preservation, definability, Sequent calculus, Theoretical Computer Science, propositional modal logic, coalition logic, conditional logic, Categorical logic, topoi, Modal logic, Modal rules, cut elimination, Interpolation, 004, Computer Science Applications, Coalgebraic logic, Coalgebras, Computational Theory and Mathematics, Interpolation properties, Cut elimination, coalgebraic semantics, Coalgebraic semantics, Cut-elimination and normal-form theorems, Syntactics, coalgebra, Modal logic (including the logic of norms), interpolation property, Keywords: Axiomatisation, Information Systems
Coherence conditions, Differentiation (calculus), Syntactic properties, Interpolation, preservation, definability, Sequent calculus, Theoretical Computer Science, propositional modal logic, coalition logic, conditional logic, Categorical logic, topoi, Modal logic, Modal rules, cut elimination, Interpolation, 004, Computer Science Applications, Coalgebraic logic, Coalgebras, Computational Theory and Mathematics, Interpolation properties, Cut elimination, coalgebraic semantics, Coalgebraic semantics, Cut-elimination and normal-form theorems, Syntactics, coalgebra, Modal logic (including the logic of norms), interpolation property, Keywords: Axiomatisation, Information Systems
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 14 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
