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:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
