Coalgebraic logics \& duality

DOI10.1007/978-3-030-00389-0_2OpenAlexW2892371259MaRDI QIDQ1798781FDOQ1798781

Clemens Kupke

Publication date: 23 October 2018

Full work available at URL: https://hal.inria.fr/hal-02044643/file/473364_1_En_2_Chapter.pdf

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Learning regular sets from queries and counterexamples
• Universal coalgebra: A theory of systems
• Automata and fixed point logic: a coalgebraic perspective
• Trace semantics for coalgebras
• Coalgebraic Modal Logic Beyond Sets
• Final coalgebras and the Hennessy-Milner property
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Modular construction of complete coalgebraic logics
• Expressivity of coalgebraic modal logic: the limits and beyond
• Algebraic semantics for coalgebraic logics
• Exemplaric Expressivity of Modal Logics
• Stone coalgebras
• Completeness for the coalgebraic cover modality
• Coalgebraic semantics of modal logics: an overview
• Coalgebraic Automata Theory: Basic Results
• Proof systems for Moss' coalgebraic logic
• Completeness for flat modal fixpoint logics
• Completions of \(\mu \)-algebras
• Final coalgebras for functors on measurable spaces
• Bialgebraic methods and modal logic in structural operational semantics
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Characterising Behavioural Equivalence: Three Sides of One Coin
• PSPACE bounds for rank-1 modal logics
• Flat Coalgebraic Fixed Point Logics
• Automata for Coalgebras: An Approach Using Predicate Liftings
• A compositional approach to defining logics for coalgebras
• A compositional treatment of iterated open games
• Covarieties and complete covarieties
• Angluin learning via logic
• Completeness for coalgebraic fixpoint logic
• Parity games and automata for game logic
• Coalgebraic trace semantics via forgetful logics
• EXPTIME Tableaux for the Coalgebraic mu-Calculus
• Final Coalgebras from Corecursive Algebras.

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
• Coalgebraic Announcement Logics
• Title not available (Why is that?)

This page was built for publication: Coalgebraic logics \& duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1798781)