The One-Variable Fragment of Corsi Logic.

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodrguez, Olim Frits Tuyt

Browse the full WoLLIC paper archive.