Pablo
Cobreros Bordenave
Catedrático de Universidad
Ludwig Maximilian University of Munich
Múnich, AlemaniaPublicaciones en colaboración con investigadores/as de Ludwig Maximilian University of Munich (2)
2022
-
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach
Journal of Philosophical Logic, Vol. 51, Núm. 6, pp. 1417-1452
2021
-
(I can’t get no) antisatisfaction
Synthese, Vol. 198, Núm. 9, pp. 8251-8265