Branching-Time Temporal Logics with Minimal Model Quantifiers.

Fabio Mogavero Aniello Murano

Published in: Developments in Language Theory (2009)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
mazurkiewicz traces
concurrent systems
natural language
temporal knowledge
predicate logic
bounded model checking
transition systems
belief revision
computation tree logic
first order logic
linear temporal logic
epistemic logic
inference rules