1

Temporal Logics of Repeating Values

E-Article
2

Display Calculi for Nominal Tense Logics

E-Article
3

The Complexity of Regularity in Grammar Logics and Related Modal Logics

E-Article
4

Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics

E-Article
5

The Effects of Bounding Syntactic Resources on Presburger LTL

E-Article