Bernhard Heinemann

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 4

Top Topics

Implicit Knowledge

Topological Spaces

Top Venues

J. Log. Comput.

Publications

Bernhard Heinemann
Reusing Topological Nexttime Logic. Stud Logica 108 (6) (2020)
Bernhard Heinemann
Topological facets of the logic of subset spaces (with emphasis on canonical models). J. Log. Comput. 29 (7) (2019)
Bernhard Heinemann
Augmenting Subset Spaces to Cope with Multi-agent Knowledge. LFCS (2016)
Bernhard Heinemann
A Subset Space Perspective on Agents Cooperating for Knowledge. KSEM (2016)
Bernhard Heinemann
On Topologically Relevant Fragments of the Logic of Linear Flows of Time. WoLLIC (2015)
Bernhard Heinemann
Subset Spaces Modeling Knowledge-Competitive Agents. KSEM (2015)
Bernhard Heinemann
Coming Upon the Classic Notion of Implicit Knowledge Again. KSEM (2014)
Andre Droschinsky, Bernhard Heinemann, Nils M. Kriege, Petra Mutzel
Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay. ISAAC (2014)
Bernhard Heinemann
Characterizing Subset Spaces as Bi-topological Structures. LPAR (2013)
Bernhard Heinemann
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. LFCS (2013)
Bernhard Heinemann
Characterizing Certain Topological Specifications. CSR (2012)
Bernhard Heinemann
Logics for multi-subset spaces. J. Appl. Non Class. Logics 20 (3) (2010)
Bernhard Heinemann
Refining the Notion of Effort. ECAI (2010)
Bernhard Heinemann
The Cantor Space as a Generic Model of Topologically Presented Knowledge. CSR (2010)
Bernhard Heinemann
Using Hybrid Logic for Coping with Functions in Subset Spaces. Stud Logica 94 (1) (2010)
Bernhard Heinemann
Observational Effort and Formally Open Mappings. WoLLIC (2009)
Bernhard Heinemann
Topology and Knowledge of Multiple Agents. IBERAMIA (2008)
Bernhard Heinemann
Modelling Uniformity and Control during Knowledge Acquisition. FLAIRS Conference (2008)
Bernhard Heinemann
A Hybrid Logic for Reasoning about Knowledge and Topology. J. Log. Lang. Inf. 17 (1) (2008)
Bernhard Heinemann
Regarding Overlapping as a Basic Concept of Subset Spaces. TIME (2008)
Bernhard Heinemann
A PDL-Like Logic of Knowledge Acquisition. CSR (2007)
Bernhard Heinemann
Reasoning About Operations on Sets. Canadian Conference on AI (2007)
Bernhard Heinemann
Including the Past in 'Topologic'. LFCS (2007)
Bernhard Heinemann
Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge. FLAIRS Conference (2007)
Bernhard Heinemann
Regarding Overlaps in 'Topologic'. Advances in Modal Logic (2006)
Bernhard Heinemann
Reasoning about Knowledge and Continuity. FLAIRS Conference (2006)
Bernhard Heinemann
A Spatio-Temporal View of Knowledge. FLAIRS Conference (2005)
Bernhard Heinemann
The Topological Effect of Improving Knowledge Acquisition. MICAI (2005)
Bernhard Heinemann
Algebras as Knowledge Structures. MFCS (2005)
Bernhard Heinemann
A Two sorted Hybrid Logic Including Guarded Jumps. Advances in Modal Logic (2004)
Bernhard Heinemann
The Hybrid Logic of Linear Set Spaces. Log. J. IGPL 12 (3) (2004)
Bernhard Heinemann
A Hybrid Logic of Knowledge Supporting Topological Reasoning. AMAST (2004)
Bernhard Heinemann
A Modal Logic for Discretely Descending Chains of Sets. Stud Logica 76 (1) (2004)
Bernhard Heinemann
Extended Canonicity of Certain Topological Properties of Set Spaces. LPAR (2003)
Bernhard Heinemann
An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. TIME (2003)
Bernhard Heinemann
A Hybrid Treatment of Evolutionary Sets. MICAI (2002)
Bernhard Heinemann
Towards Uniform Reasoning via Structured Subset Spaces. Advances in Modal Logic (2002)
Bernhard Heinemann
Knowledge over Dense Flows of Time (from a Hybrid Point of View). FSTTCS (2002)
Bernhard Heinemann
Linear Tense Logics of Increasing Sets. J. Log. Comput. 12 (4) (2002)
Bernhard Heinemann
Modelling Change with the Aid of Knowledge and Time. FCT (2001)
Bernhard Heinemann
About the Temporal Decrease of Sets. TIME (2001)
Bernhard Heinemann
Generalizing the Modal and Temporal Logic of Linear Time. AMAST (2000)
Bernhard Heinemann
Extending Topological Nexttime Logic. TIME (2000)
Bernhard Heinemann
The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees. Fundam. Informaticae 39 (3) (1999)
Bernhard Heinemann
On Sets Growing Continously. FSTTCS (1999)
Bernhard Heinemann
Temporal Aspects of the Modal Logic of Subset Spaces. Theor. Comput. Sci. 224 (1-2) (1999)
Bernhard Heinemann
Topological Modal Logics Satisfying Finite Chain Conditions. Notre Dame J. Formal Log. 39 (3) (1998)
Bernhard Heinemann
Separating Sets by Modal Formulas. AMAST (1998)
Bernhard Heinemann
Revisiting Knowledge and Time from a Topological Point of View. SCAI (1997)
Bernhard Heinemann
A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. ECSQARU-FAPR (1997)
Bernhard Heinemann
On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces. LFCS (1997)
Bernhard Heinemann
A Topological Generalization of Propositional Linear Time Temporal Logic. MFCS (1997)
Bernhard Heinemann
On Binary Computation Structures. Math. Log. Q. 43 (1997)
Bernhard Heinemann
Topological Nexttime Logic. Advances in Modal Logic (1996)
Bernhard Heinemann
Expressive Completeness of Modal Logic on Binary Ramified Frames. J. Appl. Non Class. Logics 6 (4) (1996)
Bernhard Heinemann
On Expressive Completeness of Modal Logic. LFCS (1994)