Coalgebraic modal logic beyond sets
DOI10.1016/J.ENTCS.2007.02.034zbMATH Open1316.03017OpenAlexW2120529054MaRDI QIDQ5262938FDOQ5262938
Publication date: 10 July 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.034
Recommendations
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- On final coalgebras of continuous functors
- Universal coalgebra: A theory of systems
- Comparing operational models of name-passing process calculi
- The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
- Strongly complete logics for coalgebras
- Algebraic laws for nondeterminism and concurrency
- Accessible Categories: The Foundations of Categorical Model Theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal logics for mobile processes
- A new approach to abstract syntax with variable binding
- Coalgebraic logic
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computation Structures
- Terminal coalgebras in well-founded set theory
- Title not available (Why is that?)
- Algebra and Coalgebra in Computer Science
- Probabilistic extensions of process algebras.
- Title not available (Why is that?)
- Specifying coalgebras with modal logic
- Testing Semantics: Connecting Processes and Process Logics
- Foundations of Software Science and Computational Structures
- Title not available (Why is that?)
Cited In (31)
- Towards the critical problem: On the coalgebraic relation between sets and multisets
- Coinductive predicates and final sequences in a fibration
- A name abstraction functor for named sets
- Title not available (Why is that?)
- Final coalgebras in accessible categories
- Structural operational semantics and modal logic, revisited
- On a categorical framework for coalgebraic modal logic
- Coalgebraic minimization of automata by initiality and finality
- Chu duality theory and coalgebraic representation of quantum symmetries
- Title not available (Why is that?)
- Presenting functors on many-sorted varieties and applications
- Many-valued coalgebraic logic over semi-primal varieties
- Coalgebraic logic over general measurable spaces – a survey
- Smooth coalgebra: testing vector analysis
- Coalgebraic Modal Logic in CoCasl
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
- Minimisation in logical form
- Functorial coalgebraic logic: the case of many-sorted varieties
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
- A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
- Coalgebraic logics \& duality
- Steps and traces
- Coinductive predicates and final sequences in a fibration
- Preservation and reflection of bisimilarity via invertible steps
- Modular construction of complete coalgebraic logics
- A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation
- Foundations of Software Science and Computational Structures
- Coalgebraic Geometric Logic: Basic Theory
- A categorical approach to coalgebraic fixpoint logic
- Coalgebraic trace semantics via forgetful logics
- Bialgebraic methods and modal logic in structural operational semantics
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)
