First-Order Inquisitive Pair Logic

Katsuhiko Sano. First-Order Inquisitive Pair Logic. In Mohua Banerjee, Anil Seth, editors, Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings. Volume 6521 of Lecture Notes in Computer Science, pages 147-161, Springer, 2011. [doi]

Abstract

Abstract is missing.