Modal checking for the modal mu-calculus using Gauss elimination

Dieter Barnard Angelika Mader

Published in: Forschungsberichte, TU Munich (1993)

Keyphrases

modal logic
transition systems
nonmonotonic logics
database
search engine
hidden markov models
model checking