A New Incompleteness Result in Kripke Semantics.

Olivier Gasquet

Published in: Fundam. Informaticae (1995)

Keyphrases

real time
temporal logic
databases
neural network
real world
decision making
web services
video sequences
desirable properties