MoL-2021-03: The Logic of Free Choice Axiomatizations of State-based Modal Logics

MoL-2021-03: Anttila, Aleksi (2021) The Logic of Free Choice Axiomatizations of State-based Modal Logics. [Report]

[thumbnail of MoL-2021-03.text.pdf]

Download (516kB) | Preview


We examine modal logics employing state-based semantics. In this type of semantics, formulas are interpreted with respect to sets of possible worlds.

The logics studied extend classical modal logic with a special non-emptiness atom ne and with the inquisitive disjunction. We make use of two distinct state-based notions of modality which are equivalent when applied to classical formulas but which come apart in our non-classical setting.

We obtain sound and complete natural deduction systems for three state-based modal logics, and show that each of the logics is expressively complete for the set of state properties invariant under state k-bisimulation for some finite k.

One of the logics studied extends Aloni’s bilateral state-based modal logic (BSML) with the inquisitive disjunction. This logic is bilateral: in addition to the positive support relation between states and formulas, a negative anti-support relation is used. The logic can be used to account for free choice (FC) inferences as Aloni does using BSML. The non-emptiness atom ne allows for the representation of a “pragmatic enrichment” of formulas by the principle “avoid stating a contradiction”. Narrow-scope FC inferences are derived as entailments involving pragmatically enriched formulas. The bilateralism is associated with a negation which tracks the anti-support clauses; this is used to model the interactions between natural language negation and FC inferences. Wide-scope FC inferences and epistemic contradictions are captured in states possessing specific properties; we define these properties using inference rules.

Item Type: Report
Report Nr: MoL-2021-03
Series Name: Master of Logic Thesis (MoL) Series
Year: 2021
Subjects: Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 08 Apr 2021 15:58
Last Modified: 08 Apr 2021 15:58

Actions (login required)

View Item View Item