In this thesis, we develop entailment-preserving translations between the standard system of inquisitive first-order logic InqBQ, which uses a state-based semantic framework, and its team-semantics counterpart, InqBT. We utilize the translations to confirm intuitions regarding a connection between these systems. We first demonstrate the usefulness of the translations by establishing the equivalence of corresponding major open questions about the two systems. Then, we transpose known results about wide fragments of the language from InqBQ to the corresponding fragments of InqBT.
Connecting state-based and team-based inquisitive logic
CONTI, SIMONE
2023/2024
Abstract
In this thesis, we develop entailment-preserving translations between the standard system of inquisitive first-order logic InqBQ, which uses a state-based semantic framework, and its team-semantics counterpart, InqBT. We utilize the translations to confirm intuitions regarding a connection between these systems. We first demonstrate the usefulness of the translations by establishing the equivalence of corresponding major open questions about the two systems. Then, we transpose known results about wide fragments of the language from InqBQ to the corresponding fragments of InqBT.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Conti_Simone.pdf
accesso aperto
Dimensione
659.93 kB
Formato
Adobe PDF
|
659.93 kB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.12608/68347