The Point Algebra for Branching Time Revisited.

Mathias Broxvall

Published in: KI/ÖGAI (2001)

Keyphrases

temporal reasoning
temporal logic
model checking
epistemic logic
high level
logic programs
modal logic
qualitative and quantitative
computational complexity
mobile devices
query language
object oriented
computational model
orders of magnitude