Generalized inquisitive logic: Completeness via intuitionistic Kripke models
| Authors | |
|---|---|
| Publication date | 2009 |
| Book title | 12th Conference on Theoretical Aspects of Rationality and Knowledge |
| Book subtitle | TARK '09 : California, July 06-08, 2009 |
| ISBN (electronic) |
|
| Event | 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09 |
| Pages (from-to) | 71-80 |
| Publisher | New York: ACM |
| Organisations |
|
| 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. |
| Document type | Conference contribution |
| Language | English |
| Published at | https://doi.org/10.1145/1562814.1562827 |
| Downloads |
313393.pdf
(Final published version)
|
| Permalink to this page | |
