A Tableau System for the Modal μ-Calculus

DOI10.1007/978-3-642-02716-1_17zbMath1260.03031OpenAlexW1495080122MaRDI QIDQ3648734

Natthapong Jungteerapanich

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_17

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) Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (7)

Uniform interpolation from cyclic proofs: the case of modal mu-calculus ⋮ A focus system for the alternation-free \(\mu \)-calculus ⋮ Deciding the unguarded modal -calculus ⋮ Focus-style proofs for the two-way alternation-free \(\mu \)-calculus ⋮ Abstract cyclic proofs ⋮ The Modal μ-Calculus Caught Off Guard ⋮ A goal-directed decision procedure for hybrid PDL

This page was built for publication: A Tableau System for the Modal μ-Calculus