| Publication | Date of Publication | Type |
|---|
| Modal syllogistic | 2024-09-06 | Paper |
| Point-free theories of space and time | 2023-03-29 | Paper |
scientific article; zbMATH DE number 7594258 (Why is no real title available?)
(available as arXiv preprint) | 2022-09-28 | Paper |
Actual existence predicate in mereology and mereotopology (extended abstract)
Rough Sets | 2022-06-15 | Paper |
Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
Outstanding Contributions to Logic | 2022-02-04 | Paper |
On the investigations of Ivan Prodanov in the theory of abstract spectra
(available as arXiv preprint) | 2021-06-16 | Paper |
| On the investigations of Ivan Prodanov in the theory of abstract spectra | 2021-06-16 | Paper |
Point-free theories of space and time
(available as arXiv preprint) | 2020-04-28 | Paper |
Geometrical structures and modal logic
Practical Reasoning | 2019-04-29 | Paper |
A mereotopology based on sequent algebras
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Mereotopologies with predicates of actual existence and actual contact
Fundamenta Informaticae | 2018-03-02 | Paper |
A generalization of the Stone duality theorem
Topology and its Applications | 2017-08-30 | Paper |
Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
Algebra and Logic | 2017-07-18 | Paper |
Topological representation of precontact algebras and a connected version of the Stone duality theorem. I.
Topology and its Applications | 2017-07-13 | Paper |
Distributive mereotopology: extended distributive contact lattices
Annals of Mathematics and Artificial Intelligence | 2017-01-27 | Paper |
Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. II
Algebra and Logic | 2016-10-13 | Paper |
Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
Algebra and Logic | 2015-05-11 | Paper |
| Dynamic mereotopology. II: Axiomatizing some Whiteheadean type space-time logics | 2014-06-11 | Paper |
Dynamic modalities
Studia Logica | 2012-10-01 | Paper |
| Logics of space with connectedness predicates: complete axiomatizations | 2012-08-05 | Paper |
| Modal logics for mereotopological relations | 2011-03-30 | Paper |
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
Journal of Applied Logic | 2011-03-22 | Paper |
Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
Fundamenta Informaticae | 2011-01-03 | Paper |
A proximity approach to some region-based theories of space
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Dynamic logics of the region-based theory of discrete spaces
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
PDL with intersection of programs: a complete axiomatization
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
| Algorithmic correspondence and completeness in modal logic. III. Extensions of the algorithm SQEMA with substitutions | 2009-08-03 | Paper |
A modal approach to dynamic ontology: modal mereotopology
Logic and Logical Philosophy | 2008-11-10 | Paper |
| A modal logic for Pawlak's approximation spaces with rough cardinality \(n\) | 2008-06-20 | Paper |
Distributive contact lattices: topological representations
The Journal of Logic and Algebraic Programming | 2008-06-19 | Paper |
Topological Representation of Contact Lattices
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| scientific article; zbMATH DE number 5241969 (Why is no real title available?) | 2008-03-03 | Paper |
Region-based theory of discrete spaces: A proximity approach
Annals of Mathematics and Artificial Intelligence | 2007-10-12 | Paper |
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Logical Methods in Computer Science | 2007-10-11 | Paper |
| Region-based theory of space: algebras of regions, representation theory, and logics | 2007-06-28 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Relational Methods in Computer Science
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Algorithmic Correspondence and Completeness in Modal Logic. II. Polyadic and Hybrid Extensions of the Algorithm SQEMA
Journal Of Logic And Computation | 2007-04-13 | Paper |
| Arrow logic with arbitrary intersections: applications to Pawlak's information systems | 2007-02-26 | Paper |
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation
Studia Logica | 2007-02-13 | Paper |
| scientific article; zbMATH DE number 5117074 (Why is no real title available?) | 2007-01-19 | Paper |
| scientific article; zbMATH DE number 5117075 (Why is no real title available?) | 2007-01-19 | Paper |
Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Elementary canonical formulae: extending Sahlqvist's theorem
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
| scientific article; zbMATH DE number 5046779 (Why is no real title available?) | 2006-08-16 | Paper |
| Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects | 2006-08-15 | Paper |
Nelson's negation on the base of weaker versions of intuitionistic negation
Studia Logica | 2006-01-30 | Paper |
Relational and Kleene-Algebraic Methods in Computer Science
Lecture Notes in Computer Science | 2005-12-23 | Paper |
| scientific article; zbMATH DE number 2196605 (Why is no real title available?) | 2005-08-22 | Paper |
| scientific article; zbMATH DE number 2110058 (Why is no real title available?) | 2004-10-25 | Paper |
Dynamic extensions of arrow logic
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
| scientific article; zbMATH DE number 1989654 (Why is no real title available?) | 2003-10-09 | Paper |
| scientific article; zbMATH DE number 1810488 (Why is no real title available?) | 2003-07-25 | Paper |
Hyperboolean Algebras and Hyperboolean Modal Logic
Journal of Applied Non-Classical Logics | 2003-01-30 | Paper |
| scientific article; zbMATH DE number 1844515 (Why is no real title available?) | 2002-12-12 | Paper |
| scientific article; zbMATH DE number 1735879 (Why is no real title available?) | 2002-12-11 | Paper |
Sahlqvist formulas in hybrid polyadic modal logics
Journal of Logic and Computation | 2002-02-19 | Paper |
Iteration-free PDL with intersection: A complete axiomatization
Fundamenta Informaticae | 2001-11-07 | Paper |
| scientific article; zbMATH DE number 1471992 (Why is no real title available?) | 2001-03-07 | Paper |
Rough polyadic modal logics
Journal of Applied Non-Classical Logics | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1163392 (Why is no real title available?) | 1999-06-07 | Paper |
| scientific article; zbMATH DE number 1292308 (Why is no real title available?) | 1999-05-30 | Paper |
| scientific article; zbMATH DE number 1215475 (Why is no real title available?) | 1999-02-22 | Paper |
| scientific article; zbMATH DE number 1136654 (Why is no real title available?) | 1999-02-04 | Paper |
| scientific article; zbMATH DE number 1185496 (Why is no real title available?) | 1999-01-04 | Paper |
| scientific article; zbMATH DE number 1164003 (Why is no real title available?) | 1998-10-06 | Paper |
Many-dimensional arrow logics
Journal of Applied Non-Classical Logics | 1998-04-15 | Paper |
| scientific article; zbMATH DE number 1047508 (Why is no real title available?) | 1997-11-05 | Paper |
Modal logics for incidence geometries
Journal of Logic and Computation | 1997-08-19 | Paper |
A duality between Pawlak's knowledge representation systems and bi-consequence systems
Studia Logica | 1996-05-28 | Paper |
| scientific article; zbMATH DE number 218552 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 139632 (Why is no real title available?) | 1993-03-28 | Paper |
A modal logic for cyclic repeating
Information and Computation | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 92610 (Why is no real title available?) | 1993-01-16 | Paper |
Modal logics for knowledge representation systems
Theoretical Computer Science | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 23768 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4132132 (Why is no real title available?) | 1989-01-01 | Paper |
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety
Studia Logica | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4114591 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3968565 (Why is no real title available?) | 1985-01-01 | Paper |
An application of Rieger-Nishimura formulas to the intuitionistic modal logics
Studia Logica | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3906476 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3848599 (Why is no real title available?) | 1983-01-01 | Paper |
Intuitionistic modal logics incompatible with the law of the excluded middle
Studia Logica | 1981-01-01 | Paper |
Notes on \(\eta\)-lattices and constructive logic with strong negation
Studia Logica | 1977-01-01 | Paper |
Lattices related to Post algebras and their applications to some logical systems
Studia Logica | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3470407 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3468833 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3468782 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3390716 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3367186 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3333078 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3313930 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3296297 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3328987 (Why is no real title available?) | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3390727 (Why is no real title available?) | 1968-01-01 | Paper |
