Publication:4411834
From MaRDI portal
zbMath1020.03025MaRDI QIDQ4411834
Erich Grädel, Giacomo Lenzi, Dietmar Berwanger
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710352.htm
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
68Q19: Descriptive complexity and finite models
Related Items
$\aleph_1$ and the modal $\mu$-calculus, Undirected Graphs of Entanglement 2, The variable hierarchy for the games \(\mu \)-calculus, Entanglement and the complexity of directed graphs, Unification and combination of a class of traversal strategies made with pattern matching and fixed-points