| Publication | Date of Publication | Type |
|---|
Logics for contact and measure
Journal of Logic and Computation | 2026-01-28 | Paper |
Logics for contact and measure
Journal of Logic and Computation | 2026-01-28 | Paper |
Correspondence problems for classes of postlinear orders
Logica Universalis | 2026-01-13 | Paper |
The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
Transactions of the American Mathematical Society | 2025-01-16 | Paper |
Remarks about the unification types of some locally tabular normal modal logics
Logic Journal of the IGPL | 2023-02-16 | Paper |
| Elementary unification in modal logic \(KD45\) | 2022-09-28 | Paper |
Modal definability: two commuting equivalence relations
Logica Universalis | 2022-09-01 | Paper |
| Decidable and Undecidable Problems for First-Order Definability and Modal Definability | 2022-08-11 | Paper |
About the unification type of \(\mathbf{K}+\square \square \bot\)
Annals of Mathematics and Artificial Intelligence | 2022-05-04 | Paper |
| The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete | 2021-07-21 | Paper |
| Modal operators for rational grading | 2021-06-16 | Paper |
Geometrical structures and modal logic
Practical Reasoning | 2019-04-29 | Paper |
Modal correspondence theory in the class of all Euclidean frames
Journal Of Logic And Computation | 2018-09-28 | Paper |
Mixed algebras and their logics
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
| Unification in modal logic \(\mathrm{Alt}_1\) | 2018-04-23 | Paper |
| scientific article; zbMATH DE number 6863850 (Why is no real title available?) | 2018-04-23 | Paper |
| A Logic of Strong Contact between Polytopes | 2018-02-22 | Paper |
Undecidable problems for modal definability
Journal Of Logic And Computation | 2017-05-17 | Paper |
Definability and canonicity for Boolean logic with a binary relation
Fundamenta Informaticae | 2014-04-25 | Paper |
| Logics of space with connectedness predicates: complete axiomatizations | 2012-08-05 | Paper |
Boolean logics with relations
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
Dynamic logics of the region-based theory of discrete spaces
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Hyper arrow logic with indiscernibility and complementarity
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Boolean Logics with Relations
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
| scientific article; zbMATH DE number 5241969 (Why is no real title available?) | 2008-03-03 | Paper |
Line-based affine reasoning in Euclidean plane
Journal of Applied Logic | 2007-07-25 | Paper |
Definability Over the Class of all Partitions
Journal Of Logic And Computation | 2007-04-13 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
| A note on intersection of modalities | 2006-01-23 | Paper |
Modal logics for incidence geometries
Journal of Logic and Computation | 1997-08-19 | Paper |
| scientific article; zbMATH DE number 139632 (Why is no real title available?) | 1993-03-28 | Paper |
An essay in combinatory dynamic logic
Information and Computation | 1991-01-01 | Paper |
| scientific article; zbMATH DE number 4148058 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3924749 (Why is no real title available?) | 1985-01-01 | Paper |
PDL with data constants
Information Processing Letters | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3968565 (Why is no real title available?) | 1985-01-01 | Paper |
