Automata-Theoretic Characterisations of Branching-Time Temporal Logics.

Massimo Benerecetti Laura Bozzelli Fabio Mogavero Adriano Peron

Published in: ICALP (2024)

Keyphrases

temporal logic
automata theoretic
model checking
satisfiability problem
modal logic
mazurkiewicz traces
belief revision
temporal knowledge
databases