| Publication | Date of Publication | Type |
|---|
Modal reduction principles across relational semantics
Fuzzy Sets and Systems | 2025-09-08 | Paper |
| Algorithmic correspondence for relevance logics. II: Inductive formulae in flat languages for relevance logics | 2025-08-13 | Paper |
Modal reduction principles: a parametric shift to graphs
Journal of Applied Non-Classical Logics | 2024-05-06 | Paper |
Fuzzy Halpern and Shoham's interval temporal logics
Fuzzy Sets and Systems | 2023-10-31 | Paper |
Rough concepts
Information Sciences | 2023-10-25 | Paper |
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL}
(available as arXiv preprint) | 2023-03-30 | Paper |
| Unified inverse correspondence for DLE-Logics | 2022-03-17 | Paper |
Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
Outstanding Contributions to Logic | 2022-02-04 | Paper |
| Toward an epistemic-logical theory of categorization | 2021-12-14 | Paper |
Toward an epistemic-logical theory of categorization
(available as arXiv preprint) | 2021-12-14 | Paper |
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
(available as arXiv preprint) | 2021-08-14 | Paper |
Non-distributive logics: from semantics to meaning
(available as arXiv preprint) | 2021-08-03 | Paper |
| An approach to fuzzy modal logic of time intervals | 2021-07-06 | Paper |
Modelling socio-political competition
Fuzzy Sets and Systems | 2021-06-24 | Paper |
scientific article; zbMATH DE number 7243670 (Why is no real title available?)
(available as arXiv preprint) | 2020-09-04 | Paper |
| scientific article; zbMATH DE number 7243670 (Why is no real title available?) | 2020-09-04 | Paper |
Algebraic semantics for hybrid logics
Logic in Asia: Studia Logica Library | 2020-07-14 | Paper |
scientific article; zbMATH DE number 7199592 (Why is no real title available?)
(available as arXiv preprint) | 2020-05-12 | Paper |
| scientific article; zbMATH DE number 7199592 (Why is no real title available?) | 2020-05-12 | Paper |
Modelling informational entropy
(available as arXiv preprint) | 2020-03-04 | Paper |
Probabilistic Epistemic Updates on Algebras
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Probabilistic Epistemic Updates on Algebras
ACM Transactions on Computational Logic | 2019-11-22 | Paper |
Algorithmic correspondence and canonicity for non-distributive logics
Annals of Pure and Applied Logic | 2019-09-18 | Paper |
| The logic of vague categories | 2019-08-13 | Paper |
Analogues of Bull's theorem for hybrid logic
Logic Journal of the IGPL | 2019-06-18 | Paper |
| Modelling competing theories | 2019-05-28 | Paper |
Modelling informational entropy
(available as arXiv preprint) | 2019-03-29 | Paper |
Sahlqvist via translation
(available as arXiv preprint) | 2019-02-25 | Paper |
| Goldblatt-Thomason for LE-logics | 2018-09-21 | Paper |
An integrated first-order theory of points and intervals over linear orders. I
(available as arXiv preprint) | 2018-08-15 | Paper |
Constructive canonicity for lattice-based fixed point logics
(available as arXiv preprint) | 2017-12-20 | Paper |
Algebraic modal correspondence: Sahlqvist and beyond
Journal of Logical and Algebraic Methods in Programming | 2017-08-31 | Paper |
Canonicity results for mu-calculi: an algorithmic approach
Journal Of Logic And Computation | 2017-05-17 | Paper |
On Sahlqvist theory for hybrid logics
Journal Of Logic And Computation | 2017-05-17 | Paper |
Categories: how I learned to stop worrying and love two sorts
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Algebraic modal correspondence: Sahlqvist and beyond
(available as arXiv preprint) | 2016-06-22 | Paper |
Constructive Canonicity of Inductive Inequalities
(available as arXiv preprint) | 2016-03-28 | Paper |
Sahlqvist via Translation
(available as arXiv preprint) | 2016-03-27 | Paper |
Probabilistic Epistemic Updates on Algebras
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
| Logic and discrete mathematics. A concise introduction | 2015-06-04 | Paper |
Unified correspondence
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Completeness and correspondence in hybrid logic via an extension of SQEMA
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
An algebraic look at filtrations in modal logic
Logic Journal of the IGPL | 2015-02-27 | Paper |
Algorithmic correspondence for intuitionistic modal mu-calculus
Theoretical Computer Science | 2014-12-16 | Paper |
Algorithmic correspondence and canonicity for distributive modal logic
Annals of Pure and Applied Logic | 2012-04-13 | Paper |
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
Journal of Applied Logic | 2011-03-22 | Paper |
On the strength and scope of DLS
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
IV. Semantic extensions of SQEMA
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 |
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Logical Methods in Computer Science | 2007-10-11 | 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 |
| Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects | 2006-08-15 | Paper |
Correspondence Theory for Many-valued Modal Logic
(available as arXiv preprint) | N/A | Paper |
