Two strong undefinability results in inquisitive and team semantics
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917737486352384 |
|---|---|
| author | Barbero, Fausto |
| author_facet | Barbero, Fausto |
| contents | We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic implication in extended propositional inquisitive logic with tensor; 2) we show the undefinability of global disjunction in extended propositional dependence logic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_20889 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Two strong undefinability results in inquisitive and team semantics Barbero, Fausto Logic 03C80, 03B70, 03B60 F.4.1 We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic implication in extended propositional inquisitive logic with tensor; 2) we show the undefinability of global disjunction in extended propositional dependence logic. |
| title | Two strong undefinability results in inquisitive and team semantics |
| topic | Logic 03C80, 03B70, 03B60 F.4.1 |
| url | https://arxiv.org/abs/2407.20889 |