Bernhard Heinemann

Available identifiers

zbMath Open heinemann.bernhardMaRDI QIDQ190300

List of research outcomes

Publication	Date of Publication	Type
Reusing topological nexttime logic	2021-05-25	Paper
Topological facets of the logic of subset spaces (with emphasis on canonical models)	2020-02-13	Paper
Augmenting Subset Spaces to Cope with Multi-agent Knowledge	2017-07-21	Paper
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference	2015-12-11	Paper
On Topologically Relevant Fragments of the Logic of Linear Flows of Time	2015-09-24	Paper
Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay	2015-09-11	Paper
Characterizing Subset Spaces as Bi-topological Structures	2014-01-17	Paper
Characterizing Certain Topological Specifications	2012-09-10	Paper
Logics for multi-subset spaces	2012-07-17	Paper
The Cantor Space as a Generic Model of Topologically Presented Knowledge	2010-06-22	Paper
Using hybrid logic for coping with functions in subset spaces	2010-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q3408135	2010-02-24	Paper
Observational Effort and Formally Open Mappings	2009-07-02	Paper
A hybrid logic for reasoning about knowledge and topology	2009-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q3509057	2008-07-01	Paper
A PDL-Like Logic of Knowledge Acquisition	2008-06-03	Paper
Including the Past in ‘Topologic’	2008-01-04	Paper
Mathematical Foundations of Computer Science 2005	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5483002	2006-08-15	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q5465441	2005-08-22	Paper
The Hybrid Logic of Linear Set Spaces	2004-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4738569	2004-08-11	Paper
A modal logic for discretely descending chains of sets	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4415255	2003-07-28	Paper
Linear Tense Logics of Increasing Sets	2003-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4782705	2002-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q2767162	2002-01-28	Paper
Expressive completeness of modal logic on binary ramified frames	2001-11-25	Paper
Topological modal logics satisfying finite chain conditions	2001-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4501687	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4501147	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4699305	2000-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4250363	2000-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4934251	2000-02-14	Paper
Temporal aspects of the modal logic of subset spaces	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4215596	1999-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4376054	1998-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4373590	1998-01-21	Paper
On Binary Computation Structures	1997-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q4840188	1995-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3998237	1993-01-23	Paper
On finite intersections of Henselian valued fields	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3218215	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680817	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bernhard Heinemann