scientific article; zbMATH DE number 1497882

zbMath0959.03501MaRDI QIDQ4499313

Alexandru Baltag

Publication date: 5 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items

Behavioural differential equations: a coinductive calculus of streams, automata, and power series, Exploring the Power of Converse Events, From DEL to EDL: Exploring the Power of Converse Events, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, Simulations in coalgebra, Stone coalgebras, A modular approach to defining and characterising notions of simulation, Automata and fixed point logic: a coalgebraic perspective, Unnamed Item, Unnamed Item, Terminal Sequence Induction via Games, Coalgebras and monads in the semantics of Java, Lax extensions of coalgebra functors and their logic, Modular Games for Coalgebraic Fixed Point Logics