| Publication | Date of Publication | Type |
|---|
| Paraconsistent constructive modal logic | 2026-01-13 | Paper |
Crisp bi-Gödel modal logic and its paraconsistent expansion
Logic Journal of the IGPL | 2025-11-07 | Paper |
Fuzzy bi-Gödel modal logic and its paraconsistent relatives
Journal of Logic and Computation | 2025-10-15 | Paper |
Non-contingency in a paraconsistent setting
Logic Journal of the IGPL | 2024-11-15 | Paper |
Reasoning with belief functions over Belnap-Dunn logic
Annals of Pure and Applied Logic | 2024-06-24 | Paper |
Two-layered logics for paraconsistent probabilities
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
Presumptive Reasoning in a Paraconsistent Setting
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
| Knowledge and ignorance in Belnap--Dunn logic | 2023-09-04 | Paper |
Qualitative reasoning in a two-layered framework
International Journal of Approximate Reasoning | 2023-06-20 | Paper |
| Paraconsistent G\"{o}del modal logic on bi-relational frames | 2023-03-24 | Paper |
| Non-standard modalities in paraconsistent G\"{o}del logic | 2023-03-24 | Paper |
Paraconsistent Gödel modal logic
(available as arXiv preprint) | 2022-12-07 | Paper |
| Crisp bi-G\"{o}del modal logic and its paraconsistent expansion | 2022-11-03 | Paper |
Constraint tableaux for two-dimensional fuzzy logics
(available as arXiv preprint) | 2022-05-25 | Paper |
| Reasoning with belief functions over Belnap--Dunn logic | 2022-03-02 | Paper |
Paraconsistent G\"{o}del modal logic
(available as arXiv preprint) | 2022-03-02 | Paper |
Constraint tableaux for two-dimensional fuzzy logics
(available as arXiv preprint) | 2021-05-15 | Paper |
Non-distributive relatives of ETL and NFL
Studia Logica | 2021-04-27 | Paper |
Generalisation of proof simulation procedures for Frege systems by M. L. Bonet and S. R. Buss
Journal of Applied Non-Classical Logics | 2019-01-14 | Paper |
A simulation of natural deduction and Gentzen sequent calculus
Logic and Logical Philosophy | 2018-09-20 | Paper |
"Fuzzy bi-G\""{o}del modal logic and its paraconsistent relatives"
(available as arXiv preprint) | N/A | Paper |
"Simple tableaux for two expansions of G\""odel modal logic"
(available as arXiv preprint) | N/A | Paper |
Non-contingecy in a paraconsistent setting
(available as arXiv preprint) | N/A | Paper |
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
(available as arXiv preprint) | N/A | Paper |
Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
(available as arXiv preprint) | N/A | Paper |
Non-distributive relatives of ETL and NFL
(available as arXiv preprint) | N/A | Paper |
