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

(22)

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

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)