A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Bernhard Heinemann. A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. In Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach, editors, Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR 97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Volume 1244 of Lecture Notes in Computer Science, pages 298-310, Springer, 1997.

The following publications are possibly variants of this publication:

An Application of Monodic First Order Temporal Logic to Reasoning about KnowledgeBernhard Heinemann. time 2003: 10-16 [doi]

runs on WebDSL