A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Starting out from the 'topological' modal logic of Moss and Parikh (Ann. Pure Appl. ... Logic 78 (1996) 73-110) we present a logic of knowledge und time in which subset trees appear as the intended semantical structures. ... Acknowledgements We thank the organizers of LFCS'97 very much for inviting us to submit a contribution to this volume. ...doi:10.1016/s0304-3975(98)00310-7 fatcat:eahchbtdsre77py2ptjhvbcyiq