Logik für Informatiker - eine Einführung. - Bernhard Heinemann; Klaus Weihrauch (Teubner, 1991)

On Expressive Completeness of Modal Logic. - Bernhard Heinemann (LFCS, 1994)

Topological Nexttime Logic. - Bernhard Heinemann (Advances in Modal Logic, 1996)

Expressive Completeness of Modal Logic on Binary Ramified Frames. - Bernhard Heinemann (J. Appl. Non Class. Logics, 1996)

A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. - Bernhard Heinemann (ECSQARU-FAPR, 1997)

On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces. - Bernhard Heinemann (LFCS, 1997)

A Topological Generalization of Propositional Linear Time Temporal Logic. - Bernhard Heinemann (MFCS, 1997)

Revisiting Knowledge and Time from a Topological Point of View. - Bernhard Heinemann (SCAI, 1997)

On Binary Computation Structures. - Bernhard Heinemann (Math. Log. Q., 1997)

Separating Sets by Modal Formulas. - Bernhard Heinemann (AMAST, 1998)

Topological Modal Logics Satisfying Finite Chain Conditions. - Bernhard Heinemann (Notre Dame J. Formal Log., 1998)

On Sets Growing Continously. - Bernhard Heinemann (FSTTCS, 1999)

The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees. - Bernhard Heinemann (Fundam. Informaticae, 1999)

Temporal Aspects of the Modal Logic of Subset Spaces. - Bernhard Heinemann (Theor. Comput. Sci., 1999)

Generalizing the Modal and Temporal Logic of Linear Time. - Bernhard Heinemann (AMAST, 2000)

Extending Topological Nexttime Logic. - Bernhard Heinemann (TIME, 2000)

Modelling Change with the Aid of Knowledge and Time. - Bernhard Heinemann (FCT, 2001)

About the Temporal Decrease of Sets. - Bernhard Heinemann (TIME, 2001)

Towards Uniform Reasoning via Structured Subset Spaces. - Bernhard Heinemann (Advances in Modal Logic, 2002)

Knowledge over Dense Flows of Time (from a Hybrid Point of View). - Bernhard Heinemann (FSTTCS, 2002)

A Hybrid Treatment of Evolutionary Sets. - Bernhard Heinemann (MICAI, 2002)

Linear Tense Logics of Increasing Sets. - Bernhard Heinemann (J. Log. Comput., 2002)

Extended Canonicity of Certain Topological Properties of Set Spaces. - Bernhard Heinemann (LPAR, 2003)

An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. - Bernhard Heinemann (TIME, 2003)

A Two sorted Hybrid Logic Including Guarded Jumps. - Bernhard Heinemann (Advances in Modal Logic, 2004)

A Hybrid Logic of Knowledge Supporting Topological Reasoning. - Bernhard Heinemann (AMAST, 2004)

The Hybrid Logic of Linear Set Spaces. - Bernhard Heinemann (Log. J. IGPL, 2004)

A Modal Logic for Discretely Descending Chains of Sets. - Bernhard Heinemann (Stud Logica, 2004)

A Spatio-Temporal View of Knowledge. - Bernhard Heinemann (FLAIRS, 2005)

Algebras as Knowledge Structures. - Bernhard Heinemann (MFCS, 2005)

The Topological Effect of Improving Knowledge Acquisition. - Bernhard Heinemann (MICAI, 2005)

Regarding Overlaps in 'Topologic'. - Bernhard Heinemann (Advances in Modal Logic, 2006)

Reasoning about Knowledge and Continuity. - Bernhard Heinemann (FLAIRS, 2006)

Reasoning About Operations on Sets. - Bernhard Heinemann (Canadian AI, 2007)

A PDL-Like Logic of Knowledge Acquisition. - Bernhard Heinemann (CSR, 2007)

Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge. - Bernhard Heinemann (FLAIRS, 2007)

Including the Past in 'Topologic'. - Bernhard Heinemann (LFCS, 2007)

Modelling Uniformity and Control during Knowledge Acquisition. - Bernhard Heinemann (FLAIRS, 2008)

Topology and Knowledge of Multiple Agents. - Bernhard Heinemann (IBERAMIA, 2008)

Regarding Overlapping as a Basic Concept of Subset Spaces. - Bernhard Heinemann (TIME, 2008)

A Hybrid Logic for Reasoning about Knowledge and Topology. - Bernhard Heinemann (J. Log. Lang. Inf., 2008)

Observational Effort and Formally Open Mappings. - Bernhard Heinemann (WoLLIC, 2009)

The Cantor Space as a Generic Model of Topologically Presented Knowledge. - Bernhard Heinemann (CSR, 2010)

Refining the Notion of Effort. - Bernhard Heinemann (ECAI, 2010)

Logics for multi-subset spaces. - Bernhard Heinemann (J. Appl. Non Class. Logics, 2010)

Using Hybrid Logic for Coping with Functions in Subset Spaces. - Bernhard Heinemann (Stud Logica, 2010)

Characterizing Certain Topological Specifications. - Bernhard Heinemann (CSR, 2012)

Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. - Bernhard Heinemann (LFCS, 2013)

Characterizing Subset Spaces as Bi-topological Structures. - Bernhard Heinemann (LPAR, 2013)

Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay. - Andre Droschinsky; Bernhard Heinemann; Nils M. Kriege; Petra Mutzel (ISAAC, 2014)

Coming Upon the Classic Notion of Implicit Knowledge Again. - Bernhard Heinemann (KSEM, 2014)

Subset Spaces Modeling Knowledge-Competitive Agents. - Bernhard Heinemann (KSEM, 2015)

On Topologically Relevant Fragments of the Logic of Linear Flows of Time. - Bernhard Heinemann (WoLLIC, 2015)

A Subset Space Perspective on Agents Cooperating for Knowledge. - Bernhard Heinemann (KSEM, 2016)

Augmenting Subset Spaces to Cope with Multi-agent Knowledge. - Bernhard Heinemann (LFCS, 2016)

Topological facets of the logic of subset spaces (with emphasis on canonical models). - Bernhard Heinemann (J. Log. Comput., 2019)

Reusing Topological Nexttime Logic. - Bernhard Heinemann (Stud Logica, 2020)