- ORCID iD
-
0000-0002-4993-6454
Show
Sort by
-
T-BAT semantics and its logics
-
A Gödel-Dugundji-style theorem for the minimal structural logic
-
☐ and ◇ in eight-valued non-deterministic semantics for modal logics
-
Modal Logics -- RNmatrices vs. Nmatrices
-
Beyond transparency and explainability : on the need for adequate and contextualized user guidelines for LLM use
-
Rigor and formalization
-
8 valued non-deterministic semantics for modal logics
-
Height of valuations in non-deterministic semantics for modal logic
-
- Journal Article
- A1
- open access
Informal provability and dialetheism
-
Logic of informal provability with truth values