Cut elimination in coalgebraic logics
type: Item
instance of: scholarly article
title: Cut elimination in coalgebraic logics
zbMATH Open document ID: 1255.03052
author: Dirk Pattinson
author: Lutz Schröder
published in: Information and Computation
publication date: 2011-01-14T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 5836751
zbMATH Keywords: cut elimination
zbMATH Keywords: propositional modal logic
zbMATH Keywords: coalgebra
zbMATH Keywords: coalgebraic semantics
zbMATH Keywords: interpolation property
zbMATH Keywords: coalition logic
zbMATH Keywords: conditional logic
MaRDI profile type: Publication
full work available at URL: j.ic.2009.11.008
OpenAlex ID: W1998546048
cites work: Cut-free tableau calculi for some propositional normal modal logics
cites work: Q4539639
cites work: Q4364506
cites work: Modal logic
cites work: Towards a semantic characterization of cut-elimination
cites work: Cut-free sequent and tableau systems for propositional Diodorean modal logics
cites work: Tableau methods for modal and temporal logics
cites work: Q4518916
cites work: A coalgebraic perspective on monotone modal logic
cites work: Specifying coalgebras with modal logic
cites work: Amalgamation and interpolation in normal modal logics
cites work: Q3972527
cites work: Proof analysis in modal logic
cites work: A sequent calculus and a theorem prover for standard conditional logics
cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
cites work: Generic Modal Cut Elimination Applied to Conditional Logics
cites work: A Modal Logic for Coalitional Power in Games
cites work: Sufficient conditions for cut elimination with complexity analysis
cites work: Modal tableau calculi and interpolation
cites work: Foundations of Software Science and Computation Structures
cites work: A finite model construction for coalgebraic modal logic
cites work: Rank-1 Modal Logics Are Coalgebraic
cites work: PSPACE bounds for rank-1 modal logics
cites work: Q4716271
cites work: Handbook of philosophical logic. Vol. 8
DOI: 10.1016/J.IC.2009.11.008
description: scientific article; zbMATH DE number 5836751