Generalized Inquisitive Logic: Completeness via Intuitionistic Kripke Models

Generalized Inquisitive Logic: Completeness via Intuitionistic Kripke Models. Ciardelli, I. & Roelofsen, F. In Theoretical Aspacts of Rationality and Knowledge (TARK 12), 2009.

Paper doi abstract bibtex 2 downloads

This paper investigates a generalized version of inquisitive semantics (Groenendijk, 2008b; Mascarenhas, 2008). A complete axiomatization of the associated logic is established. The connection with intuitionistic logic is clarified and heavily exploited.

@inproceedings{CiardelliRoelofsen:09tark,
	abstract = {This paper investigates a generalized version of inquisitive semantics (Groenendijk, 2008b; Mascarenhas, 2008). A complete axiomatization of the associated logic is established. The connection with intuitionistic logic is clarified and heavily exploited.},
	annote = {Proceedings of Theoretical Aspects of Rationality and Knowledge},
	author = {Ciardelli, Ivano and Roelofsen, Floris},
	booktitle = {Theoretical Aspacts of Rationality and Knowledge (TARK 12)},
	date-modified = {2021-08-17 00:00:00 +0000},
	doi = {10.1145/1562814.1562827},
	keywords = {inquisitive semantics,philosophical logic},
	mendeley-tags = {inquisitive semantics,theoretical linguistics},
	title = {{Generalized Inquisitive Logic: Completeness via Intuitionistic {Kripke} Models}},
	url = {https://dl.acm.org/doi/10.1145/1562814.1562827},
	year = {2009},
	Bdsk-Url-1 = {https://dl.acm.org/doi/10.1145/1562814.1562827},
	Bdsk-Url-2 = {https://doi.org/10.1145/1562814.1562827}}

Downloads: 2