On Modal μ-Calculus in S5 and Applications.

Giovanna D'Agostino Giacomo Lenzi

Published in: Fundam. Informaticae (2013)

Keyphrases

transition systems
modal logic
sequent calculus
algebraic structure
provably correct
tableau calculus
image sequences
model checking
computer algebra
machine learning
website
temporal logic
automated deduction
concurrent systems