scientific article

zbMath1276.03027MaRDI QIDQ3002404

Giacomo Lenzi

Publication date: 20 May 2011

Full work available at URL: http://rendiconti.dmi.units.it/volumi/42/140.pdf

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

zbMATH Keywords

Kripke modelsmodal \(\mu\)-calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44)

Related Items (2)

The Henkin Sentence ⋮ The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames

This page was built for publication: