A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees.

Bernhard Heinemann

Browse the full ECSQARU paper archive.