Hybrid Branching-Time Logics

Published in: CoRR (2007)

Keyphrases

epistemic logic
modal logic
temporal logic
expressive power
machine learning
temporal reasoning
real world
classical logic
model checking
propositional calculus
database
multi faceted
logical framework
multi agent systems
similarity measure
feature selection
neural network
real time