scientific article; zbMATH DE number 1497882

MaRDI QIDQ4499313zbMATH OpenFDO

Authors Alexandru Baltag

Publication date 5 March 2001

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On logics for coalgebraic simulation
• Simulations and bisimulations for coalgebraic modal logics
• Coalgebraic logic
• A modular approach to defining and characterising notions of simulation

Cited in

(23)

• Coalgebras and monads in the semantics of Java
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• Lax extensions of coalgebra functors and their logic
• A modular approach to defining and characterising notions of simulation
• Automata and fixed point logic: a coalgebraic perspective
• Many-sorted coalgebraic modal logic: A model-theoretic study
• A coalgebraic decision procedure for NetKAT
• On logics for coalgebraic simulation
• Simulations and bisimulations for coalgebraic modal logics
• Modular games for coalgebraic fixed point logics
• Exploring the power of converse events
• A note on the coalgebraic interpretation of game logic
• Topo-bisimulations are coalgebraic
• From DEL to EDL: Exploring the Power of Converse Events
• Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
• Terminal Sequence Induction via Games
• (Metric) bisimulation games and real-valued modal logics for coalgebras
• Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
• Moss' logic for ordered coalgebras
• Logic-induced bisimulations
• Graded monads and behavioural equivalence games
• Simulations in coalgebra
• Stone coalgebras

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 Q4499313)