We describe entailment-preserving translations between two inquisitive systems: the standard system of inquisitive first-order logic InqBQ, which uses a state-based semantic framework, and its team-semantics counterpart, InqBT. By using these translations, we connect some major open problems about these logics, and transfer some recent results about fragments of InqBQ to InqBT.
Connecting state-based and team-based inquisitive logic
Ciardelli, Ivano
;Conti, Simone
2026
Abstract
We describe entailment-preserving translations between two inquisitive systems: the standard system of inquisitive first-order logic InqBQ, which uses a state-based semantic framework, and its team-semantics counterpart, InqBT. By using these translations, we connect some major open problems about these logics, and transfer some recent results about fragments of InqBQ to InqBT.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
exag032.pdf
accesso aperto
Tipologia:
Published (Publisher's Version of Record)
Licenza:
Creative commons
Dimensione
598.73 kB
Formato
Adobe PDF
|
598.73 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
