On the Expressivity of the Modal Mu-Calculus.

Julian C. Bradfield

Published in: STACS (1996)

Keyphrases

transition systems
modal logic
computational properties
development environment
computer algebra
automated deduction
algebraic structure
timed automata
database
real time
neural network
genetic algorithm
artificial intelligence
mobile robot
concurrent systems