| Publication | Date of Publication | Type |
|---|
| Revisiting epistemic logic with names | 2024-11-24 | 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 |
Epistemic Logics of Structured Intensional Groups
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Theory and application of labelling techniques for interpretability logics
Mathematical Logic Quarterly | 2023-09-12 | 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 |
Uniform Interpolation in provability logics
(available as arXiv preprint) | 2022-11-04 | Paper |
| Crisp bi-G\"{o}del modal logic and its paraconsistent expansion | 2022-11-03 | Paper |
scientific article; zbMATH DE number 7577582 (Why is no real title available?)
(available as arXiv preprint) | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7577582 (Why is no real title available?) | 2022-08-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 |
| Belief based on inconsistent information | 2021-12-01 | Paper |
Constraint tableaux for two-dimensional fuzzy logics
(available as arXiv preprint) | 2021-05-15 | Paper |
Proof theory for positive logic with weak negation
Studia Logica | 2020-08-25 | Paper |
| Assuring and critical labels for relations between maximal consistent sets for interpretability logics | 2020-03-10 | Paper |
| Uniform interpolation in provability logics | 2019-07-24 | Paper |
| Lindenbaum and pair extension lemma in infinitary logics | 2018-10-18 | Paper |
THE LOGIC OF RESOURCES AND CAPABILITIES
The Review of Symbolic Logic | 2018-08-07 | Paper |
Epistemic logics for sceptical agents
Journal Of Logic And Computation | 2017-01-31 | Paper |
Expressivity of Many-Valued Modal Logics, Coalgebraically
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Proof systems for Moss' coalgebraic logic
Theoretical Computer Science | 2014-08-27 | Paper |
| scientific article; zbMATH DE number 6302899 (Why is no real title available?) | 2014-06-11 | Paper |
Relation lifting, with an application to the many-valued cover modality
Logical Methods in Computer Science | 2013-10-29 | Paper |
Many-valued relation lifting and Moss' coalgebraic logic
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
| Relevant agents | 2012-08-05 | Paper |
Relation liftings on preorders and posets
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi
Logic, Language, and Computation | 2011-07-29 | Paper |
On monotone modalities and adjointness
Mathematical Structures in Computer Science | 2011-06-10 | Paper |
| scientific article; zbMATH DE number 5872402 (Why is no real title available?) | 2011-03-30 | Paper |
Interpretability in PRA
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
Uniform interpolation and propositional quantifiers in modal logics
Studia Logica | 2007-04-26 | Paper |
| scientific article; zbMATH DE number 2119475 (Why is no real title available?) | 2004-11-26 | 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 |
Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
(available as arXiv preprint) | N/A | Paper |
