| Publication | Date of Publication | Type |
|---|
| On logics of perfect paradefinite algebras | 2025-01-13 | Paper |
| Monadicity of non-deterministic logical matrices is undecidable | 2025-01-09 | Paper |
Finite Hilbert systems for weak Kleene logics
Studia Logica | 2024-11-25 | Paper |
Axiomatizing non-deterministic many-valued generalized consequence relations
Synthese | 2023-12-14 | Paper |
| Some more theorems on structural entailment relations and non-deterministic semantics | 2023-10-04 | Paper |
Finite axiomatizability of logics of distributive lattices with negation
Logic Journal of the IGPL | 2023-07-06 | Paper |
Computational properties of finite PNmatrices
Journal Of Logic And Computation | 2023-01-04 | Paper |
An unexpected Boolean connective
Logica Universalis | 2022-09-01 | Paper |
| Computational properties of partial non-deterministic matrices and their logics | 2022-07-01 | Paper |
Proof search on bilateralist judgments over non-deterministic semantics
(available as arXiv preprint) | 2022-05-25 | Paper |
| Modular many-valued semantics for combined logics | 2022-02-04 | Paper |
On Axioms and Rexpansions
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Proof Search on Bilateralist Judgments over Non-deterministic Semantics
(available as arXiv preprint) | 2021-07-17 | Paper |
| On Logics of Perfect Paradefinite Algebras | 2021-06-17 | Paper |
An unexpected Boolean connective
(available as arXiv preprint) | 2021-02-10 | Paper |
On axioms and rexpansions
(available as arXiv preprint) | 2021-02-10 | Paper |
| Logics of involutive Stone algebras | 2021-02-10 | Paper |
Plug and Play Negations
Trends in Logic | 2020-08-06 | Paper |
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
Annals of Pure and Applied Logic | 2020-03-12 | Paper |
| Analytic calculi for monadic PNmatrices | 2020-03-04 | Paper |
Combining fragments of classical logic: when are interaction principles needed?
Soft Computing | 2019-08-12 | Paper |
Decidability and complexity of fibred logics without shared connectives
Logic Journal of the IGPL | 2019-01-08 | Paper |
Characterizing finite-valuedness
Fuzzy Sets and Systems | 2018-10-16 | Paper |
On the characterization of fibred logics, with applications to conservativity and finite-valuedness
Journal Of Logic And Computation | 2018-02-13 | Paper |
Merging fragments of classical logic
(available as arXiv preprint) | 2018-01-04 | Paper |
| Disjoint fibring of non-deterministic matrices | 2017-12-20 | Paper |
Locally tabular \(\neq \) locally finite
Logica Universalis | 2017-11-29 | Paper |
Deciding theoremhood in fibered logics without shared connectives
Studies in Universal Logic | 2017-08-28 | Paper |
| Finite frames for \(\mathrm{K4.3} \times \mathrm{S5}\) are decidable | 2014-06-11 | Paper |
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Non-finitely axiomatisable two-dimensional modal logics
The Journal of Symbolic Logic | 2012-09-19 | Paper |
Modal logics of reactive frames
Studia Logica | 2010-03-17 | Paper |
An algebraic generalization of Kripke structures
Mathematical Proceedings of the Cambridge Philosophical Society | 2008-11-28 | Paper |
Finite Hilbert systems for Weak Kleene logics
(available as arXiv preprint) | N/A | Paper |
Generating proof systems for three-valued propositional logics
(available as arXiv preprint) | N/A | Paper |
Axiomatizing the Logic of Ordinary Discourse
(available as arXiv preprint) | N/A | Paper |
