Show
Sort by
-
- Journal Article
- A1
- open access
There are no minimal essentially undecidable theories
-
Modular non-deterministic semantics for T, TB, S4, S5 and more
-
Arithmetical and hyperarithmetical worm battles
-
Classical term-modal logics
-
Multi-dimensional interpretations of Presburger arithmetic in itself
-
Coarse deontic logic
-
Structured argumentation with prioritized conditional obligations and permissions
-
Verification logic
-
- Journal Article
- A1
- open access
Complete representation by partial functions for composition, intersection and anti-domain
-
- Journal Article
- A1
- open access
Adaptive strategies and finite-conditional premise sets