3 papers
cs.LO2016
Two-variable Logic with a Between Predicate
Andreas Krebs, Kamal Lodaya, Paritosh Pandya +1
We study an extension of FO^2[<], first-order logic interpreted in finite words, in which formulas are restricted to use only two variables. We adjoin to this language two-variable…
cs.LO2015
A Team Based Variant of CTL
Andreas Krebs, Arne Meier, Jonni Virtema
We introduce two variants of computation tree logic CTL based on team semantics: an asynchronous one and a synchronous one. For both variants we investigate the computational compl…
math.CO2012
Lexicographic Configurations
Christoph Hering, Andreas Krebs, Thomas Edgar
We describe a new way to construct finite geometric objects. For every k we obtain a symmetric configuration E(k-1) with k points on a line. In particular, we have a constructive e…