Generalized inquisitive logic: completeness via intuitionistic Kripke models.

Ivano Ciardelli, Floris Roelofsen

Browse the full TARK paper archive.