| Publication | Date of Publication | Type |
|---|
Definability of Functional Properties in the Basic Modal-Temporal Language over Ordered Frames
(available as arXiv preprint) | 2026-01-01 | Paper |
A meta-modal logic for bisimulations
(available as arXiv preprint) | 2025-01-01 | Paper |
| An awareness epistemic framework for belief, argumentation and their dynamics | 2024-11-24 | Paper |
| Logics for order-of-magnitude qualitative reasoning: formalizing negligibility | 2024-09-06 | Paper |
| A multi-modal logic for Galois connections | 2023-03-24 | Paper |
Argument evaluation in multi-agent justification logics
Logic Journal of the IGPL | 2022-06-16 | Paper |
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
Logic Journal of the IGPL | 2022-06-09 | Paper |
| scientific article; zbMATH DE number 7510715 (Why is no real title available?) | 2022-04-20 | Paper |
| A justification logic for argument evaluation | 2021-02-06 | Paper |
| Basic beliefs and argument-based beliefs in awareness epistemic logic with structured arguments | 2021-01-21 | Paper |
Completeness of a functional system for surjective functions
Mathematical Logic Quarterly | 2020-04-29 | Paper |
| Distributed explicit knowledge and collective awareness | 2019-07-03 | Paper |
A multimodal logic for closeness
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
A logic framework for reasoning with movement based on fuzzy qualitative representation
Fuzzy Sets and Systems | 2015-06-24 | Paper |
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques
Fuzzy Sets and Systems | 2014-05-14 | Paper |
A PDL approach for qualitative velocity
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems | 2011-06-10 | Paper |
Analyzing completeness of axiomatic functional systems for temporal modal logics
MLQ | 2010-02-16 | Paper |
Functional systems in the context of temporal×modal logics with indexed flows
International Journal of Computer Mathematics | 2009-11-10 | Paper |
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
International Journal of Computer Mathematics | 2009-11-10 | Paper |
Relational Approach to Order-of-Magnitude Reasoning
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Generalization of some properties of relations in the context of functional temporal×modal logic
International Journal of Computer Mathematics | 2008-04-29 | Paper |
| A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations | 2006-06-19 | Paper |
| scientific article; zbMATH DE number 2086604 (Why is no real title available?) | 2004-08-11 | Paper |
A functional approach for temporal \(\times\) modal logics
Acta Informatica | 2003-09-01 | Paper |
A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time
Journal of Applied Non-Classical Logics | 1994-02-01 | Paper |
Modal trees: Correction to a decision procedure for S5 (and T)
Notre Dame Journal of Formal Logic | 1987-01-01 | Paper |
