Coalgebraic logics \& duality
type: Item
instance of: scholarly article
title: Coalgebraic logics \& duality
DOI: 10.1007/978-3-030-00389-0_2
author: Clemens Kupke
publication date: 2018-10-23T00:00:00Z
full work available at URL: 473364 1 En 2 Chapter.pdf
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 6962929
MaRDI profile type: Publication
OpenAlex ID: W2892371259
cites work: Coalgebraic semantics of modal logics: an overview
cites work: Universal coalgebra: A theory of systems
cites work: Covarieties and complete covarieties
cites work: Q4329244
cites work: Q4533390
cites work: Coalgebraic logic
cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
cites work: Many-sorted coalgebraic modal logic: A model-theoretic study
cites work: Q4499303
cites work: Q5465440
cites work: A compositional approach to defining logics for coalgebras
cites work: Modular construction of complete coalgebraic logics
cites work: Final coalgebras and the Hennessy-Milner property
cites work: Characterising Behavioural Equivalence: Three Sides of One Coin
cites work: Final Coalgebras from Corecursive Algebras.
cites work: Expressivity of coalgebraic modal logic: the limits and beyond
cites work: Stone coalgebras
cites work: Final coalgebras for functors on measurable spaces
cites work: Algebraic semantics for coalgebraic logics
cites work: Coalgebraic Modal Logic Beyond Sets
cites work: Exemplaric Expressivity of Modal Logics
cites work: Q4580204
cites work: Bialgebraic methods and modal logic in structural operational semantics
cites work: Coalgebraic trace semantics via forgetful logics
cites work: Trace semantics for coalgebras
cites work: Coalgebraic Automata Theory: Basic Results
cites work: Completeness for the coalgebraic cover modality
cites work: Proof systems for Moss' coalgebraic logic
cites work: Completions of \(\mu \)-algebras
cites work: Automata and fixed point logic: a coalgebraic perspective
cites work: Automata for Coalgebras: An Approach Using Predicate Liftings
cites work: EXPTIME Tableaux for the Coalgebraic mu-Calculus
cites work: PSPACE bounds for rank-1 modal logics
cites work: Completeness for flat modal fixpoint logics
cites work: Flat Coalgebraic Fixed Point Logics
cites work: Q5014445
cites work: Completeness for coalgebraic fixpoint logic
cites work: Parity games and automata for game logic
cites work: Q5015268
cites work: Angluin learning via logic
cites work: Learning regular sets from queries and counterexamples
cites work: A compositional treatment of iterated open games
description: scientific article; zbMATH DE number 6962929