Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.

Regimantas Pliuskevicius

Published in: JELIA (1992)

Keyphrases

temporal logic
fixpoint
model checking
modal logic
logic programs
satisfiability problem
transition systems
linear temporal logic
general purpose
verification method
search algorithm
deductive databases
theorem proving
model theoretic
concurrent systems
computation tree logic