3 papers
math.LO2022
Uniform Interpolation in provability logics
Marta Bilkova
We prove the uniform interpolation theorem in modal provability logics GL and Grz by a proof-theoretical method, using analytical and terminating sequent calculi for the logics. Th…
math.LO2020
Interpretability in PRA
Marta Bílková, Dick de Jongh, Joost J. Joosten
In this paper from 2009 we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetica…
cs.LO2012
Relation Liftings on Preorders and Posets
Marta Bilkova, Alexander Kurz, Daniela Petrisan +1
The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on…