| Publication | Date of Publication | Type |
|---|
Relevant consequence relations: an invitation
The Review of Symbolic Logic | 2024-11-14 | Paper |
MAXIMALITY OF LOGIC WITHOUT IDENTITY
Journal of Symbolic Logic | 2024-04-05 | Paper |
A modular bisimulation characterisation for fragments of hybrid logic
| 2023-12-22 | Paper |
A Lindström theorem for intuitionistic first-order logic
Annals of Pure and Applied Logic | 2023-09-21 | Paper |
Introduction to the special issue ‘Valerie Plumwood’s contributions to Logic’
The Australasian Journal of Logic | 2023-07-27 | Paper |
Asymptotic truth-value laws in many-valued logics
| 2023-06-24 | Paper |
Frame definability in finitely valued modal logics
Annals of Pure and Applied Logic | 2023-05-19 | Paper |
Axiomatization via translation: Hiż's warning for predicate logic
| 2023-05-15 | Paper |
Robinson consistency in many-sorted hybrid first-order logics
| 2023-03-24 | Paper |
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
Annals of Pure and Applied Logic | 2022-12-23 | Paper |
First-order friendliness
| 2022-10-25 | Paper |
Robinson consistency in many-sorted hybrid first-order logics
| 2022-08-18 | Paper |
Paraconsistent metatheory: new proofs with old tools
Journal of Philosophical Logic | 2022-07-15 | Paper |
Relevant Consequence Relations: An Invitation
| 2022-07-08 | Paper |
A parametrised axiomatization for a large number of restricted second-order logics
| 2022-07-06 | Paper |
New foundations of reasoning via real-valued first-order logics
| 2022-06-30 | Paper |
How much propositional logic suffices for Rosser's essential undecidability theorem?
The Review of Symbolic Logic | 2022-05-25 | Paper |
Craig interpolation theorem fails in bi-intuitionistic predicate logic
| 2022-04-30 | Paper |
Saturated models of first-order many-valued logics
Logic Journal of the IGPL | 2022-03-30 | Paper |
Omitting Types Theorem in hybrid-dynamic first-order logic with rigid symbols
| 2022-03-09 | Paper |
Maximality of bi-intuitionistic propositional logic
Journal Of Logic And Computation | 2022-02-08 | Paper |
Lindström theorems in graded model theory
Annals of Pure and Applied Logic | 2021-01-25 | Paper |
A Lindström theorem in many-valued modal logic over a finite MTL-chain
Fuzzy Sets and Systems | 2021-01-19 | Paper |
On elimination of quantifiers in some non-classical mathematical theories
Mathematical Logic Quarterly | 2020-05-11 | Paper |
A Lindström theorem for intuitionistic propositional logic
Notre Dame Journal of Formal Logic | 2020-05-04 | Paper |
Incompactness of the \(\forall_1\) fragment of basic second order propositional relevant logic
The Australasian Journal of Logic | 2019-10-07 | Paper |
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Soft Computing | 2019-08-12 | Paper |
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
Logic Journal of the IGPL | 2019-01-08 | Paper |
Variable sharing in substructural logics: an algebraic characterization
Bulletin of the Section of Logic | 2018-11-23 | Paper |
On elimination of quantifiers in some non-classical mathematical theories
| 2018-09-21 | Paper |
On Sahlqvist formulas in relevant logic
Journal of Philosophical Logic | 2018-09-05 | Paper |
On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
Algebra Universalis | 2018-07-16 | Paper |
Fraïssé classes of graded relational structures
Theoretical Computer Science | 2018-06-18 | Paper |
A remark on Maksimova's variable separation property in super-bi-intuitionistic logics
| 2018-05-14 | Paper |
INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
The Review of Symbolic Logic | 2018-01-17 | Paper |
Bi-simulating in bi-intuitionistic logic
Studia Logica | 2016-10-27 | Paper |
The relevant fragment of first order logic
The Review of Symbolic Logic | 2016-04-29 | Paper |
Logical Characterizations of Weighted Complexity Classes
| N/A | Paper |
