Branching-time logics with path relativisation.

Markus Latte Martin Lange

Published in: J. Comput. Syst. Sci. (2014)

Keyphrases

epistemic logic
modal logic
temporal logic
expressive power
temporal reasoning
model checking
propositional calculus
inference rules
shortest path
optimal path
propositional dynamic logic
genetic algorithm
proof theory
logical framework
multi agent systems
decision trees
information systems