%0 Conference Paper %1 conf/tark/CiardelliR09 %A Ciardelli, Ivano %A Roelofsen, Floris %B TARK %D 2009 %E Heifetz, Aviad %K dblp %P 71-80 %T Generalized inquisitive logic: completeness via intuitionistic Kripke models. %U http://dblp.uni-trier.de/db/conf/tark/tark2009.html#CiardelliR09

@inproceedings{conf/tark/CiardelliR09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Ciardelli, Ivano and Roelofsen, Floris}, biburl = {https://www.bibsonomy.org/bibtex/2b7b9081aac13f6741b09e87a668f514a/dblp}, booktitle = {TARK}, crossref = {conf/tark/2009}, editor = {Heifetz, Aviad}, ee = {https://doi.org/10.1145/1562814.1562827}, interhash = {1b66fb2973d110aba705a792a07c601e}, intrahash = {b7b9081aac13f6741b09e87a668f514a}, keywords = {dblp}, pages = {71-80}, timestamp = {2018-11-07T16:11:21.000+0100}, title = {Generalized inquisitive logic: completeness via intuitionistic Kripke models.}, url = {http://dblp.uni-trier.de/db/conf/tark/tark2009.html#CiardelliR09}, year = 2009 }