Coalgebraic modal logic: soundness, completeness and decidability of local consequence
type: Item
instance of: scholarly article
title: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
zbMATH Open document ID: 1052.03009
DOI: 10.1016/S0304-3975(03)00201-9
author: Dirk Pattinson
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 2110994
zbMATH Keywords: finitary modal logics
zbMATH Keywords: coalgebras
zbMATH Keywords: coalgebraic modal logic
zbMATH Keywords: endofunctors
zbMATH Keywords: induction
MaRDI profile type: Publication
cites work: On the greatest fixed point of a set functor
cites work: Terminal coalgebras in well-founded set theory
cites work: Modal logic
cites work: Many-sorted coalgebraic modal logic: A model-theoretic study
cites work: Structural induction and coinduction in a fibrational setting
cites work: Q4533390
cites work: Specifying coalgebras with modal logic
cites work: Q5639839
cites work: Coalgebraic logic
cites work: Q2762529
cites work: Q4499303
cites work: From modal logic to terminal coalgebras
cites work: Universal coalgebra: A theory of systems
cites work: Q4733387
cites work: Q4256309
full work available at URL: s0304-3975(03)00201-9
OpenAlex ID: W1982431152
description: scientific article; zbMATH DE number 2110994