A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus.

Alessandro Facchini Yde Venema Fabio Zanasi

Published in: LICS (2013)

Keyphrases

modal logic
transition systems
databases
neural network
genetic algorithm
real time
information retrieval
database systems
clustering method
von neumann
automated deduction
sequent calculus