Propositional inquisitive logic: a survey
This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important f...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vladimir Andrunachievici Institute of Mathematics and Computer Science
2016-12-01
|
| Series: | Computer Science Journal of Moldova |
| Subjects: | |
| Online Access: | http://www.math.md/files/csjm/v24-n3/v24-n3-(pp295-311).pdf |
| _version_ | 1798006364823355392 |
|---|---|
| author | Ivano Ciardelli |
| author_facet | Ivano Ciardelli |
| author_sort | Ivano Ciardelli |
| collection | DOAJ |
| description | This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs. |
| first_indexed | 2024-04-11T12:53:35Z |
| format | Article |
| id | doaj.art-143ad9a6c1d14f719873885b37272c96 |
| institution | Directory Open Access Journal |
| issn | 1561-4042 |
| language | English |
| last_indexed | 2024-04-11T12:53:35Z |
| publishDate | 2016-12-01 |
| publisher | Vladimir Andrunachievici Institute of Mathematics and Computer Science |
| record_format | Article |
| series | Computer Science Journal of Moldova |
| spelling | doaj.art-143ad9a6c1d14f719873885b37272c962022-12-22T04:23:07ZengVladimir Andrunachievici Institute of Mathematics and Computer ScienceComputer Science Journal of Moldova1561-40422016-12-01243(72)295311Propositional inquisitive logic: a surveyIvano Ciardelli0ILLC, University of AmsterdamThis paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and dependence logic, and describe an important feature of inquisitive proofs.http://www.math.md/files/csjm/v24-n3/v24-n3-(pp295-311).pdfquestionsinquisitive logicdependencyintermediate logicsproofs-as-programs |
| spellingShingle | Ivano Ciardelli Propositional inquisitive logic: a survey Computer Science Journal of Moldova questions inquisitive logic dependency intermediate logics proofs-as-programs |
| title | Propositional inquisitive logic: a survey |
| title_full | Propositional inquisitive logic: a survey |
| title_fullStr | Propositional inquisitive logic: a survey |
| title_full_unstemmed | Propositional inquisitive logic: a survey |
| title_short | Propositional inquisitive logic: a survey |
| title_sort | propositional inquisitive logic a survey |
| topic | questions inquisitive logic dependency intermediate logics proofs-as-programs |
| url | http://www.math.md/files/csjm/v24-n3/v24-n3-(pp295-311).pdf |
| work_keys_str_mv | AT ivanociardelli propositionalinquisitivelogicasurvey |