Q3086937
type: Item
instance of: scholarly article
zbMATH Open document ID: 1244.03063
author: Marta Bílková
author: Alessandra Palmigiano
author: Yde Venema
publication date: 2011-03-30T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5872402
zbMATH Keywords: modal logic
zbMATH Keywords: derivation system
zbMATH Keywords: coalgebra
zbMATH Keywords: coalgebraic modality
zbMATH Keywords: Gentzen calculus
zbMATH Keywords: completeness
MaRDI profile type: Publication
Recommended article: Proof systems for Moss' coalgebraic logic
Recommended article: Completeness for the coalgebraic cover modality
Recommended article: Specifying coalgebras with modal logic
Recommended article: Q4222950
Recommended article: A modal proof theory for final polynomial coalgebras
Recommended article: Q4637694
Recommended article: Coalgebraic Modal Logic in CoCasl
Recommended article: Q4499303
Recommended article: Proof by computation in the Coq system
Recommended article: Modular construction of complete coalgebraic logics
description: scientific article