Proof systems for Moss' coalgebraic logic
type: Item
instance of: scholarly article
title: Proof systems for Moss' coalgebraic logic
zbMATH Open document ID: 1323.03087
author: Marta Bílková
author: Alessandra Palmigiano
author: Yde Venema
published in: Theoretical Computer Science
publication date: 2014-08-27T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 6334958
zbMATH Keywords: modal logic
zbMATH Keywords: coalgebraic logic
zbMATH Keywords: sequent system
zbMATH Keywords: coalgebra
zbMATH Keywords: cover modality
zbMATH Keywords: Gentzen calculus
zbMATH Keywords: completeness
MaRDI profile type: Publication
full work available at URL: j.tcs.2014.06.018
OpenAlex ID: W2105634236
cites work: Q3992552
cites work: A final coalgebra theorem
cites work: Computer Science Logic
cites work: Q3996444
cites work: Q3589829
cites work: Relational algebras
cites work: Q3086937
cites work: Foundations of Software Science and Computational Structures
cites work: Positive modal logic
cites work: Normal forms in modal logic
cites work: Automata for the modal μ-calculus and related results
cites work: Complementation of Coalgebra Automata
cites work: Q3085167
cites work: Completeness for the coalgebraic cover modality
cites work: Coalgebraic Automata Theory: Basic Results
cites work: Q4215784
cites work: Lax Extensions of Coalgebra Functors
cites work: Coalgebraic logic
cites work: A coalgebraic view on positive modal logic
cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
cites work: Admissibility of cut in coalgebraic logics
cites work: Generic Modal Cut Elimination Applied to Conditional Logics
cites work: Cut elimination in coalgebraic logics
cites work: Universal coalgebra: A theory of systems
cites work: Uniform interpolation for monotone modal logic
cites work: Expressivity of coalgebraic modal logic: the limits and beyond
cites work: Q4166879
cites work: Q4499084
cites work: Automata and fixed point logic: a coalgebraic perspective
DOI: 10.1016/J.TCS.2014.06.018
description: scientific article; zbMATH DE number 6334958