Expressive logics for coalgebras via terminal sequence induction
type: Item
instance of: scholarly article
title: Expressive logics for coalgebras via terminal sequence induction
zbMATH Open document ID: 1088.03031
author: Dirk Pattinson
published in: Notre Dame Journal of Formal Logic
publication date: 2005-07-06T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18B20
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2186734
zbMATH Keywords: coalgebraic behavioral equivalence
zbMATH Keywords: coalgebraic modal logic
zbMATH Keywords: coalgebras
zbMATH Keywords: predicate liftings
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1094155277
OpenAlex ID: W2060917500
cites work: Category theory and computer science. Manchester, UK, September 5--8, 1989. Proceedings
cites work: Algebraically compact functors
cites work: Modal logic
cites work: Q4304740
cites work: Q3773852
cites work: Q3883467
cites work: Structural induction and coinduction in a fibrational setting
cites work: Many-sorted coalgebraic modal logic: A model-theoretic study
cites work: Q4533390
cites work: Specifying coalgebras with modal logic
cites work: Q4693151
cites work: Accessible Categories: The Foundations of Categorical Model Theory
cites work: Coalgebraic logic
cites work: Q2762529
cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
cites work: Q4499303
cites work: From modal logic to terminal coalgebras
cites work: Universal coalgebra: A theory of systems
DOI: 10.1305/NDJFL/1094155277
description: scientific article; zbMATH DE number 2186734