scientific article

zbMath1148.03018MaRDI QIDQ3509059

Frank Wolter, Roman Kontchakov, Boris Konev, Michael Zakharyashchev

Publication date: 1 July 2008

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

zbMATH Keywords

temporal logicspatial logicdynamic topological logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items

A sound and complete axiomatization for Dynamic Topological Logic ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Dynamic Cantor Derivative Logic ⋮ Reasoning about visibility ⋮ Non-finite axiomatizability of dynamic topological logic ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Non-deterministic semantics for dynamic topological logic ⋮ Dynamic topological logic interpreted over minimal systems ⋮ Generalized Post embedding problems