After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.
After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.

Inquisitive Logic: Consequence and Inference in the Realm of Questions
272
Inquisitive Logic: Consequence and Inference in the Realm of Questions
272Paperback(1st ed. 2022)
Product Details
ISBN-13: | 9783031097089 |
---|---|
Publisher: | Springer International Publishing |
Publication date: | 03/02/2023 |
Series: | Trends in Logic , #60 |
Edition description: | 1st ed. 2022 |
Pages: | 272 |
Product dimensions: | 6.10(w) x 9.25(h) x (d) |