Independence-Friendly Logic Without Henkin Quantification.

Fausto Barbero, Lauri Hella, Raine Rnnholm

Browse the full WoLLIC paper archive.