Publication:2753677
From MaRDI portal
zbMath0973.03041MaRDI QIDQ2753677
Publication date: 3 December 2001
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures
68Q19: Descriptive complexity and finite models
Related Items
On logical and concurrent equivalences, Imperfect Information in Logic and Concurrent Games, Transition semantics: the dynamics of dependence logic, Functional interpretations of linear and intuitionistic logic, Hybrid logic meets IF modal logic, Dynamic Logics of Imperfect Information: From Teams and Games to Transitions