Automata-Theoretic Characterisations of Branching-Time Temporal Logics.

Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron

Published in: CoRR (2024)

Keyphrases

temporal logic
automata theoretic
model checking
modal logic
satisfiability problem
mazurkiewicz traces
belief revision
temporal knowledge
database
search algorithm
query processing
data model
decision procedures