1 Hit in 7.8 sec

Temporal aspects of the modal logic of subset spaces

Bernhard Heinemann
1999 Theoretical Computer Science  
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