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.
2023
Connecting state-based and team-based inquisitive logic
Logic
Inquisitive logic
Team semantics
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