Sano Katsuhiko. Sound and Complete Tree-Sequent Calculus for Inquisitive Logic. In Hiroakira Ono, Makoto Kanazawa, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings. Volume 5514 of Lecture Notes in Computer Science, pages 365-378, Springer, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.