- ORCID iD
- 0000-0002-4993-6454
Show
Sort by
-
□ and ♢ in eight-valued non-deterministic semantics for modal logics
-
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
-
- Journal Article
- A2
- open access
Informal provability, first-order BAT logic and first steps towards a formal theory of informal provability
-
Modular non-deterministic semantics for T, TB, S4, S5 and more
-
Non-deterministic logic of informal provability has no finite characterization
-
- Journal Article
- A1
- open access
Tree-like proof systems for finitely-many valued non-deterministic consequence relations
-
- PhD Thesis
- open access
Informally provable, refutable or neither : a non-deterministic approach to informal provability
(2018) -
Logics of (formal and informal) provability
-
Many-valued logic of informal provability : a non-deterministic strategy
-
Proof systems for BAT consequence relations
-
Philosophical aspects of an alleged connection between the axiom of choice and predicting the future