On modal mu-calculus in S5 and applications.

Giovanna D'Agostino Giacomo Lenzi

Published in: CILC (2011)

Keyphrases

transition systems
modal logic
development environment
nonmonotonic logics
formal language
model checking
sequent calculus
algebraic structure
information systems
neural network
data sets
multi agent
real time
case study
image processing
knowledge base
provably correct
computer algebra
databases