Recommendations
Cites work
- A new approach to abstract syntax with variable binding
- Accessible Categories: The Foundations of Categorical Model Theory
- Algebra and Coalgebra in Computer Science
- Algebraic laws for nondeterminism and concurrency
- Coalgebraic logic
- Comparing operational models of name-passing process calculi
- Foundations of Software Science and Computation Structures
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computational Structures
- scientific article; zbMATH DE number 1688389 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 2020178 (Why is no real title available?)
- scientific article; zbMATH DE number 1497872 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- Modal logics for mobile processes
- On final coalgebras of continuous functors
- Probabilistic extensions of process algebras.
- Specifying coalgebras with modal logic
- Strongly complete logics for coalgebras
- Terminal coalgebras in well-founded set theory
- Testing Semantics: Connecting Processes and Process Logics
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Universal coalgebra: A theory of systems
Cited in
(35)- Bialgebraic methods and modal logic in structural operational semantics
- Coalgebraic minimization of automata by initiality and finality
- Coalgebraic logics \& duality
- Steps and traces
- Chu duality theory and coalgebraic representation of quantum symmetries
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
- Modular construction of complete coalgebraic logics
- Expressivity of coalgebraic modal logic: the limits and beyond
- Coinductive predicates and final sequences in a fibration
- On a categorical framework for coalgebraic modal logic
- A name abstraction functor for named sets
- Functorial coalgebraic logic: the case of many-sorted varieties
- Structural operational semantics and modal logic, revisited
- Coalgebraic trace semantics via forgetful logics
- Coalgebraic logic over general measurable spaces -- a survey
- Final coalgebras in accessible categories
- Named models in coalgebraic hybrid logic
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
- Coalgebraic Modal Logic in CoCasl
- scientific article; zbMATH DE number 1497872 (Why is no real title available?)
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
- Coinductive predicates and final sequences in a fibration
- Fibred coalgebraic logic and quantum protocols
- Expressive logics for coinductive predicates
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
- Coalgebraic Geometric Logic: Basic Theory
- Smooth coalgebra: testing vector analysis
- Foundations of Software Science and Computational Structures
- Preservation and reflection of bisimilarity via invertible steps
- Presenting functors on many-sorted varieties and applications
- Many-valued coalgebraic logic over semi-primal varieties
- Minimisation in logical form
- A categorical approach to coalgebraic fixpoint logic
- Towards the critical problem: On the coalgebraic relation between sets and multisets
- Expressive quantale-valued logics for coalgebras: an adjunction-based approach
This page was built for publication: Coalgebraic modal logic beyond sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262938)
