Show
Sort by
-
Logic of informal provability with truth values
-
A hyperintensional logical framework for deontic reasons
-
Deontic modals and hyperintensionality
-
Complexity of the interpretability logic IL
-
Proof systems for BAT consequence relations
-
Forgetting complex propositions
-
- Journal Article
- A1
- open access
Adaptive logics : a parametric approach
-
Well-orders in the transfinite Japaridze algebra
-
Three formats of prioritized adaptive logics: a comparative study
-
Strong, universal and provably non-trivial set theory by means of adaptive logic