scientific article; zbMATH DE number 1497872
From MaRDI portal
Publication:4499303
Recommendations
- Coalgebras and modal expansions of logics
- scientific article; zbMATH DE number 1231627
- Specifying coalgebras with modal logic
- Coalgebraic semantics of modal logics: an overview
- Coalgebraic Modal Logic in CoCasl
- Coalgebraic modal logic beyond sets
- An institution of modal logics for coalgebras
- From modal logic to terminal coalgebras
- scientific article; zbMATH DE number 1688389
- Coalgebraic modal logic of finite rank
Cited in
(67)- Coalgebraic logic
- On institutions for modular coalgebraic specifications.
- Coalgebraic logics \& duality
- Coalgebras and monads in the semantics of Java
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
- An institution of modal logics for coalgebras
- Algebraic-coalgebraic specification in CoCASL
- Expressivity of coalgebraic modal logic: the limits and beyond
- A modal proof theory for final polynomial coalgebras
- Final coalgebras and the Hennessy-Milner property
- A finite model construction for coalgebraic modal logic
- Many-sorted coalgebraic modal logic: A model-theoretic study
- scientific article; zbMATH DE number 1688389 (Why is no real title available?)
- Equational coalgebraic logic
- Expressivity of Many-Valued Modal Logics, Coalgebraically
- Institutionalising many-sorted coalgebraic modal logic
- Definability, canonical models, compactness for finitary coalgebraic modal logic
- Coalgebraic semantics for positive modal logic
- A coalgebraic perspective on monotone modal logic
- Coalgebras and modal expansions of logics
- Coalgebras with symmetries and modelling quantum systems
- Co-algebraic models for quantitative spatial logics
- Functorial coalgebraic logic: the case of many-sorted varieties
- Coequational logic for finitary functors
- Internal models for coalgebraic modal logics
- Editorial. Coalgebra and logic: a brief overview
- scientific article; zbMATH DE number 5872402 (Why is no real title available?)
- Deriving Syntax and Axioms for Quantitative Regular Behaviours
- Interacting with Modal Logics in the Coq Proof Assistant
- Coalgebraic Correspondence Theory
- Free Modal Algebras: A Coalgebraic Perspective
- A Kleene Theorem for Polynomial Coalgebras
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Universal coalgebras and their logics
- scientific article; zbMATH DE number 1189282 (Why is no real title available?)
- scientific article; zbMATH DE number 139614 (Why is no real title available?)
- Modalities in the Stone age: a comparison of coalgebraic logics
- scientific article; zbMATH DE number 1231627 (Why is no real title available?)
- scientific article; zbMATH DE number 1735883 (Why is no real title available?)
- scientific article; zbMATH DE number 1753205 (Why is no real title available?)
- scientific article; zbMATH DE number 6917170 (Why is no real title available?)
- Disjunctive bases: normal forms for modal logics
- Modal rules are co-implications
- Modal languages for coalgebras in a topological setting
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
- Coalgebra for the working software engineer
- Coalgebraic Geometric Logic: Basic Theory
- Non-iterative modal logics are coalgebraic
- Coalgebraic modal logic beyond sets
- Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
- An expressive completeness theorem for coalgebraic modal -calculi
- Coalgebraic Announcement Logics
- Disjunctive bases: normal forms and model theory for modal logics
- Algebra and Coalgebra in Computer Science
- Algebra and Coalgebra in Computer Science
- Expressive logics for coalgebras via terminal sequence induction
- Coalgebraic geometric logic
- Foundations of Software Science and Computation Structures
- Specifying coalgebras with modal logic
- From modal logic to terminal coalgebras
- Presenting functors on many-sorted varieties and applications
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)
- Coalgebraic semantics of modal logics: an overview
- A compositional approach to defining logics for coalgebras
- Stone coalgebras
- A coalgebraic view on positive modal logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4499303)
