Show
Sort by
-
- Journal Article
- A2
- open access
Bisimulations for intuitionistic temporal logics
-
Probabilistic legal decision standards still fail
-
- Journal Article
- A2
- open access
Succinctness in subsystems of the spatial mu-calculus
-
Worms and spiders : reflection calculi and ordinal notation systems
(2017) JOURNAL OF APPLIED LOGICS - IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. 4(10). p.3279-3360 -
- Journal Article
- A2
- open access
A glimpse at polynomials with quantifiers
(2017) JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. 4(10). p.3239-3261