Bernhard Heinemann

From MaRDI portal
Person:190300

Available identifiers

zbMath Open heinemann.bernhardMaRDI QIDQ190300

List of research outcomes

PublicationDate of PublicationType
Reusing topological nexttime logic2021-05-25Paper
Topological facets of the logic of subset spaces (with emphasis on canonical models)2020-02-13Paper
Augmenting Subset Spaces to Cope with Multi-agent Knowledge2017-07-21Paper
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference2015-12-11Paper
On Topologically Relevant Fragments of the Logic of Linear Flows of Time2015-09-24Paper
Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay2015-09-11Paper
Characterizing Subset Spaces as Bi-topological Structures2014-01-17Paper
Characterizing Certain Topological Specifications2012-09-10Paper
Logics for multi-subset spaces2012-07-17Paper
The Cantor Space as a Generic Model of Topologically Presented Knowledge2010-06-22Paper
Using hybrid logic for coping with functions in subset spaces2010-04-26Paper
https://portal.mardi4nfdi.de/entity/Q34081352010-02-24Paper
Observational Effort and Formally Open Mappings2009-07-02Paper
A hybrid logic for reasoning about knowledge and topology2009-03-24Paper
https://portal.mardi4nfdi.de/entity/Q35090572008-07-01Paper
A PDL-Like Logic of Knowledge Acquisition2008-06-03Paper
Including the Past in ‘Topologic’2008-01-04Paper
Mathematical Foundations of Computer Science 20052006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q54830022006-08-15Paper
Algebraic Methodology and Software Technology2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q54654412005-08-22Paper
The Hybrid Logic of Linear Set Spaces2004-10-28Paper
https://portal.mardi4nfdi.de/entity/Q47385692004-08-11Paper
A modal logic for discretely descending chains of sets2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44152552003-07-28Paper
Linear Tense Logics of Increasing Sets2003-02-23Paper
https://portal.mardi4nfdi.de/entity/Q47827052002-12-02Paper
https://portal.mardi4nfdi.de/entity/Q27671622002-01-28Paper
Expressive completeness of modal logic on binary ramified frames2001-11-25Paper
Topological modal logics satisfying finite chain conditions2001-07-17Paper
https://portal.mardi4nfdi.de/entity/Q45016872000-09-04Paper
https://portal.mardi4nfdi.de/entity/Q45011472000-09-03Paper
https://portal.mardi4nfdi.de/entity/Q46993052000-08-27Paper
https://portal.mardi4nfdi.de/entity/Q42503632000-04-06Paper
https://portal.mardi4nfdi.de/entity/Q49342512000-02-14Paper
Temporal aspects of the modal logic of subset spaces2000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42155961999-07-07Paper
https://portal.mardi4nfdi.de/entity/Q43760541998-06-01Paper
https://portal.mardi4nfdi.de/entity/Q43735901998-01-21Paper
On Binary Computation Structures1997-10-26Paper
https://portal.mardi4nfdi.de/entity/Q48401881995-07-23Paper
https://portal.mardi4nfdi.de/entity/Q39982371993-01-23Paper
On finite intersections of Henselian valued fields1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32182151984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36808171984-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Bernhard Heinemann