scientific article; zbMATH DE number 1948173
From MaRDI portal
Publication:4411834
zbMATH Open1020.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
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Descriptive complexity and finite models (68Q19)
Related Items (11)
Title not available (Why is that?) ⋮ $\aleph_1$ and the modal $\mu$-calculus ⋮ Title not available (Why is that?) ⋮ Unification and combination of a class of traversal strategies made with pattern matching and fixed-points ⋮ Entanglement and the complexity of directed graphs ⋮ On the expressivity of the modal mu-calculus ⋮ The variable hierarchy for the games \(\mu \)-calculus ⋮ Undirected Graphs of Entanglement 2 ⋮ On the proof theory of the modal mu-calculus ⋮ Individual concepts as propositional variables in \(ML^{\nu +1}\) ⋮ On the formalization of the modal \(\mu\)-calculus in the calculus of inductive constructions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411834)
