Interrogatives, Recursion, and Incompleteness. - Andrzej Wisniewski; Jerzy Pogonowski (J. Log. Comput., 2010)

Diagonalization in Double Frames. - Andrzej Wisniewski; Jerzy Pogonowski (Logica Universalis, 2010)