On a Temporal Logic of Prefixes and Infixes.

Laura Bozzelli Angelo Montanari Adriano Peron Pietro Sala

Published in: MFCS (2020)

Keyphrases

temporal logic
model checking
modal logic
satisfiability problem
computation tree logic
concurrent systems
belief revision
mazurkiewicz traces
bounded model checking
verification method
predicate logic
model checker
temporally extended
temporal knowledge
transition systems
formal verification
partial order