![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Temporal Logic Volume 827 || A decision procedure for a temporal belief logic
Gabbay, Dov M., Ohlbach, Hans JürgenVolume:
10.1007/BF
Year:
1994
Language:
english
DOI:
10.1007/BFb0013996
File:
PDF, 746 KB
english, 1994