Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi.

Regimantas Pliuskevicius

Published in: MFCS (1990)

Keyphrases

temporal logic
sequent calculi
modal logic
model checking
finite state
concurrent systems
mazurkiewicz traces
satisfiability problem
belief revision
qualitative spatial and temporal reasoning
predicate logic
verification method
transition systems
expert systems
spatial relations
computation tree logic