| Publication | Date of Publication | Type |
|---|
Reusing topological nexttime logic
Studia Logica | 2021-05-25 | Paper |
Topological facets of the logic of subset spaces (with emphasis on canonical models)
Journal Of Logic And Computation | 2020-02-13 | Paper |
Augmenting subset spaces to cope with multi-agent knowledge
Logical Foundations of Computer Science | 2017-07-21 | Paper |
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
Logical Foundations of Computer Science | 2015-12-11 | Paper |
On Topologically Relevant Fragments of the Logic of Linear Flows of Time
Logic, Language, Information, and Computation | 2015-09-24 | Paper |
Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay
Algorithms and Computation | 2015-09-11 | Paper |
Characterizing subset spaces as bi-topological structures
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
Characterizing certain topological specifications
Computer Science – Theory and Applications | 2012-09-10 | Paper |
Logics for multi-subset spaces
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
The Cantor space as a generic model of topologically presented knowledge
Computer Science – Theory and Applications | 2010-06-22 | Paper |
Using hybrid logic for coping with functions in subset spaces
Studia Logica | 2010-04-26 | Paper |
| Extended canonicity of certain topological properties of set spaces | 2010-02-24 | Paper |
Observational Effort and Formally Open Mappings
Logic, Language, Information and Computation | 2009-07-02 | Paper |
A hybrid logic for reasoning about knowledge and topology
Journal of Logic, Language and Information | 2009-03-24 | Paper |
| Regarding overlaps in `topologic' | 2008-07-01 | Paper |
A PDL-Like Logic of Knowledge Acquisition
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Including the Past in ‘Topologic’
Logical Foundations of Computer Science | 2008-01-04 | Paper |
Mathematical Foundations of Computer Science 2005
Lecture Notes in Computer Science | 2006-10-20 | Paper |
| A two-sorted hybrid logic including guarded jumps | 2006-08-15 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 2196591 (Why is no real title available?) | 2005-08-22 | Paper |
The Hybrid Logic of Linear Set Spaces
Logic Journal of the IGPL | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2087690 (Why is no real title available?) | 2004-08-11 | Paper |
A modal logic for discretely descending chains of sets
Studia Logica | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1954384 (Why is no real title available?) | 2003-07-28 | Paper |
Linear Tense Logics of Increasing Sets
Journal Of Logic And Computation | 2003-02-23 | Paper |
| scientific article; zbMATH DE number 1839440 (Why is no real title available?) | 2002-12-02 | Paper |
| scientific article; zbMATH DE number 1696880 (Why is no real title available?) | 2002-01-28 | Paper |
Expressive completeness of modal logic on binary ramified frames
Journal of Applied Non-Classical Logics | 2001-11-25 | Paper |
Topological modal logics satisfying finite chain conditions
Notre Dame Journal of Formal Logic | 2001-07-17 | Paper |
| scientific article; zbMATH DE number 1500665 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1499093 (Why is no real title available?) | 2000-09-03 | Paper |
| scientific article; zbMATH DE number 1361487 (Why is no real title available?) | 2000-08-27 | Paper |
| scientific article; zbMATH DE number 1303728 (Why is no real title available?) | 2000-04-06 | Paper |
| scientific article; zbMATH DE number 1389856 (Why is no real title available?) | 2000-02-14 | Paper |
Temporal aspects of the modal logic of subset spaces
Theoretical Computer Science | 2000-01-12 | Paper |
| scientific article; zbMATH DE number 1215464 (Why is no real title available?) | 1999-07-07 | Paper |
| scientific article; zbMATH DE number 1114338 (Why is no real title available?) | 1998-06-01 | Paper |
| scientific article; zbMATH DE number 1107651 (Why is no real title available?) | 1998-01-21 | Paper |
On Binary Computation Structures
Mathematical Logic Quarterly | 1997-10-26 | Paper |
| scientific article; zbMATH DE number 777408 (Why is no real title available?) | 1995-07-23 | Paper |
| scientific article; zbMATH DE number 49445 (Why is no real title available?) | 1993-01-23 | Paper |
On finite intersections of Henselian valued fields
Manuscripta Mathematica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3902634 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3884271 (Why is no real title available?) | 1984-01-01 | Paper |
