Model-checking positive equality free logic on a fixed structure (direttissima)

Manuel Bodirsky, Marcin Kozik, Florent Madelaine +2

We give a new, direct proof of the tetrachotomy classification for the model-checking problem of positive equality-free logic parameterised by the model. The four complexity classe…