Bernhard Heinemann Papers on DiSC'04 An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge Publications Note: Links lead to the DBLP on the Web. Bernhard Heinemann Bernhard Heinemann: Extended Canonicity of Certain Topological Properties of Set Spaces. LPAR 2003 : 137-151 Bernhard Heinemann: An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. TIME 2003 : 10-16 Bernhard Heinemann: Knowledge over Dense Flows of Time (from a Hybrid Point of View). FSTTCS 2002 : 194-205 Bernhard Heinemann: A Hybrid Treatment of Evolutionary Sets. MICAI 2002 : 204-213 Bernhard Heinemann: Linear Tense Logics of Increasing Sets. J. Log. Comput. 12 (4): 583-606 (2002) Bernhard Heinemann: Modelling Change with the Aid of Knowledge and Time. FCT 2001 : 150-161 Bernhard Heinemann: About the Temporal Decrease of Sets. TIME 2001 : 234-239 Bernhard Heinemann: Generalizing the Modal and Temporal Logic of Linear Time. AMAST 2000 : 41-56 Bernhard Heinemann: Extending Topological Nexttime Logic. TIME 2000 : 87-94 Bernhard Heinemann: On Sets Growing Continously. FSTTCS 1999 : 420-431 Bernhard Heinemann: The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees. Fundam. Inform. 39 (3): 259-272 (1999) Bernhard Heinemann: Temporal Aspects of the Modal Logic of Subset Spaces. Theor. Comput. Sci. 224 (1-2): 135-155 (1999) Bernhard Heinemann: Separating Sets by Modal Formulas. AMAST 1998 : 140-153 Bernhard Heinemann: Topological Modal Logics Satisfying Finite Chain Conditions. Notre Dame Journal of Formal Logic 39 (3): 406-421 (1998) Bernhard Heinemann: A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. ECSQARU-FAPR 1997 : 298-310 Bernhard Heinemann: On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces. LFCS 1997 : 145-155 Bernhard Heinemann: A Topological Generalization of Propositional Linear Time Temporal Logic. MFCS 1997 : 289-297 Bernhard Heinemann: Revisiting Knowledge and Time from a Topological Point of View. SCAI 1997 : 40-51 Bernhard Heinemann: On Binary Computation Structures. Math. Log. Q. 43 : 203-215 (1997) Bernhard Heinemann: Expressive Completeness of Modal Logic on Binary Ramified Frames. Journal of Applied Non-Classical Logics 6 (4): (1996) Bernhard Heinemann: On Expressive Completeness of Modal Logic. LFCS 1994 : 153-163 ©2004 Association for Computing Machinery