Show
Sort by
-
Chapter 7 : Intermediate Goodstein principles
-
- Conference Paper
- C1
- open access
A Gödel calculus for linear temporal logic
-
- Conference Paper
- P1
- open access
Time and Godel : fuzzy temporal reasoning in PSPACE
-
Arithmetical and hyperarithmetical worm battles
-
- Journal Article
- A2
- open access
Bisimulations for intuitionistic temporal logics
-
Hyperarithmetical worm battles
-
- Journal Article
- A2
- open access
Who holds the best card? Secure communication of optimal secret bits
-
Intuitionistic linear temporal logics
-
- Conference Paper
- C1
- open access
Ackermannian Goodstein sequences of intermediate growth
-
Predicatively unprovable termination of the Ackermannian Goodstein process
-
- Journal Article
- A1
- open access
The dynamics of epistemic attitudes in resource-bounded agents
-
- Conference Paper
- P1
- open access
Stratified evidence logics
-
- Conference Paper
- C1
- open access
Axiomatic systems and topological semantics for intuitionistic temporal logic
(2019) Logics in Artificial Intelligence, JELIA 2019, Proceedings. In Lecture Notes in Computer Science 11468. p.763-777 -
- Conference Paper
- C1
- open access
A self-contained provability calculus for {\(\Gamma\)}\(_{\mbox0}\)
-
- Conference Paper
- C1
- open access
The second order traffic fine : temporal reasoning in European transport regulations
-
- Journal Article
- A1
- open access
The intuitionistic temporal logic of dynamical systems
-
- Journal Article
- A2
- open access
Succinctness in subsystems of the spatial mu-calculus
-
- Journal Article
- A1
- open access
The omega-rule interpretation of transfinite provability logic
-
Strong completeness of provability logic for ordinal spaces
-
Predicativity through transfinite reflection