Publication:5465440

From MaRDI portal


zbMath1083.03056MaRDI QIDQ5465440

Robert Goldblatt

Publication date: 22 August 2005



03B45: Modal logic (including the logic of norms)

08A70: Applications of universal algebra in computer science

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03G30: Categorical logic, topoi

18C50: Categorical semantics of formal languages


Related Items