Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang. A Multi-type Calculus for Inquisitive Logic. In Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Volume 9803 of Lecture Notes in Computer Science, pages 215-233, Springer, 2016. [doi]
Abstract is missing.