Two-sorted Point-Interval Temporal Logics.

Philippe Balbiani Valentin Goranko Guido Sciavicco

Published in: Electron. Notes Theor. Comput. Sci. (2011)

Keyphrases

temporal logic
model checking
modal logic
mazurkiewicz traces
satisfiability problem
concurrent systems
linear temporal logic
belief revision
verification method
temporal knowledge
reactive systems
temporal resolution
computation tree logic