| Publication | Date of Publication | Type |
|---|
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 |
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 |
Rough concepts
Information Sciences | 2023-10-25 | Paper |
Qualitative reasoning in a two-layered framework
International Journal of Approximate Reasoning | 2023-06-20 | Paper |
Toward updating belief functions over Belnap-Dunn logic
Belief Functions: Theory and Applications | 2023-06-02 | 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 |
| Updating belief functions over Belnap--Dunn logic | 2022-05-30 | 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 |
| 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 |
| Belief based on inconsistent information | 2021-12-01 | Paper |
Constraint tableaux for two-dimensional fuzzy logics
(available as arXiv preprint) | 2021-05-15 | Paper |
Toward a Dempster-Shafer theory of concepts
International Journal of Approximate Reasoning | 2020-10-22 | 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 |
| Software tool support for modular reasoning in modal logics of actions | 2018-10-04 | Paper |
| scientific article; zbMATH DE number 6863637 (Why is no real title available?) | 2018-04-23 | Paper |
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
Journal Of Logic And Computation | 2017-05-17 | Paper |
A proof-theoretic semantic analysis of dynamic epistemic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for dynamic epistemic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
Multi-type display calculus for propositional dynamic logic
Journal Of Logic And Computation | 2017-01-31 | Paper |
| Multi-type Sequent Calculi | 2016-09-17 | Paper |
A Multi-type Calculus for Inquisitive Logic
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Categories: how I learned to stop worrying and love two sorts
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Probabilistic Epistemic Updates on Algebras
Logic, Rationality, and Interaction | 2015-12-17 | Paper |
Fixed-point theory in the varieties \(\mathcal{D}_{n}\)
Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
"Fuzzy bi-G\""{o}del modal logic and its paraconsistent relatives"
(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 |
