[Lecture Notes in Computer Science] Qualitative and Quantitative Practical Reasoning Volume 1244 || A modal logic for reasoning about knowledge and time on binary subset trees
Gabbay, Dov M., Kruse, Rudolf, Nonnengart, Andreas, Ohlbach, Hans JürgenVolume:
10.1007/BF
Year:
1997
Language:
english
DOI:
10.1007/BFb0035630
File:
PDF, 690 KB
english, 1997