scientific article

zbMath0973.03041MaRDI QIDQ2753677

Julian Bradfield

Publication date: 3 December 2001

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Related Items (6)

Transition semantics: the dynamics of dependence logic ⋮ Dynamic Logics of Imperfect Information: From Teams and Games to Transitions ⋮ On logical and concurrent equivalences ⋮ Functional interpretations of linear and intuitionistic logic ⋮ Imperfect Information in Logic and Concurrent Games ⋮ Hybrid logic meets IF modal logic

This page was built for publication: