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

Preview |
Text
MoL-2021-03.text.pdf Download (516kB) | Preview |

## Abstract

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 Philosophy |

Depositing User: | Dr Marco Vervoort |

Date Deposited: | 08 Apr 2021 15:58 |

Last Modified: | 08 Apr 2021 15:58 |

URI: | https://eprints.illc.uva.nl/id/eprint/1788 |

## Actions (login required)

View Item |