Ivano Ciardelli Floris Roelofsen Generalized inquisitive logic: completeness via intuitionistic Kripke models. 71-80 2009 TARK http://doi.acm.org/10.1145/1562814.1562827 conf/tark/2009 db/conf/tark/tark2009.html#CiardelliR09