Temporal logics of "the next" do not have the Beth property.

Larisa Maksimova

Published in: J. Appl. Non Class. Logics (1999)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
concurrent systems
predicate logic
temporal resolution
temporal knowledge
transition systems
belief revision
computation tree logic
search algorithm
verification method
linear temporal logic
bounded model checking