A Complete Axiomatization of Process Temporal Logic.

Magdalena Kacprzak

Published in: Fundam. Informaticae (2002)

Keyphrases

temporal logic
model checking
computation tree logic
satisfiability problem
concurrent systems
linear temporal logic
complete axiomatization
database
complex objects
modal logic
dynamic constraints
mazurkiewicz traces