Completeness of a Branching-Time Logic with Possible Choices.

Roberto Ciuni Alberto Zanardo

Published in: Stud Logica (2010)

Keyphrases

epistemic logic
modal logic
temporal logic
temporal reasoning
inference rules
multi agent systems
logic programming
model checking
predicate logic
automated reasoning
multi faceted
order sorted
decision trees
formal theory
model checker
formal language
mathematical theory
design choices
logical framework