collaborators

1 paper

cs.LO2020

Relativization of Gurevich's Conjectures

Anatole Dahan, Anuj Dawar

Gurevich (1988) conjectured that there is no logic for or for . For the latter complexity class, he also showed that the existence of a…