Activities per year
Abstract
Logics based on team semantics, such as inquisitive logic and dependence logic, are not closed under uniform substitution. This leads to an interesting separation between expressive power and definability: it may be that an operator O can be added to a language without a gain in expressive power, yet O is not definable in that language. For instance, even though propositional inquisitive logic and propositional dependence logic have the same expressive power, inquisitive disjunction and implication are not definable in propositional dependence logic. A question that has been open for some time in this area is whether the tensor disjunction used in propositional dependence logic is definable in inquisitive logic. We settle this question in the negative. In fact, we show that extending the logical repertoire of inquisitive logic by means of tensor disjunction leads to an independent set of connectives; that is, no connective in the resulting logic is definable in terms of the others.
Original language | English |
---|---|
Title of host publication | Logic, Rationality and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings |
Editors | Patrick Blackburn, Emiliano Lorini, Meiyun Guo |
Number of pages | 14 |
Volume | 11813 |
Publisher | Springer |
Publication date | 2019 |
Edition | Lecture Notes in Computer Science |
Pages | 29-42 |
ISBN (Print) | 9783662602911 |
ISBN (Electronic) | 9783662602928 |
DOIs | |
Publication status | Published - 2019 |
MoE publication type | A4 Article in conference proceedings |
Event | 7th International Workshop, LORI 2019 - Chongqing, China Duration: 18 Oct 2019 → 21 Oct 2019 Conference number: 7 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 11813 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Fields of Science
- 111 Mathematics
- 611 Philosophy
-
Strong undefinability of connectives in inquisitive semantics
Barbero, F. (Speaker)
20 Nov 2019Activity: Talk or presentation types › Invited talk
-
Undefinability in inquisitive logic with tensor
Barbero, F. (Speaker)
18 Oct 2019 → 21 Oct 2019Activity: Talk or presentation types › Oral presentation
-
Munich Center for Mathematical Philosophy
Barbero, F. (Visiting researcher)
1 Nov 2018 → 15 Feb 2019Activity: Visiting an external institution types › Academic visit to other institution