Skip navigation
Please use this identifier to cite or link to this item: http://arks.princeton.edu/ark:/88435/dsp014b29b9084
Title: A Study of Berntsonian Modal Logics
Authors: Mathers, Sam
Advisors: Burgess, John
Department: Mathematics
Class Year: 2021
Abstract: In [Ber20], Daniel Berntson argues for accepting a conditional logic whose models are not transitive but instead have an alternative model property. In this paper, we will consider a variety of model properties similar to those considered in [Ber20] as possible alternatives for transitivity. However, we restrict our attention purely to modal logic rather than conditional logic, as was considered by Berntson. For each of the Berntsonian model properties we consider, we will first derive a characterizing formula for the property, with the additional requirement that the resulting logic from adding the characterizing formula as an additional axiom to the minimal modal logic, K, is complete for the set of frames it characterizes. However, for two properties being considered, we will see that there is no characterizing formula. For one of these, strict connectedness, we introduce the weaker notion of a quasi-characterizing formula and show that over the class of generated frames, strict connectedness is equivalent to a combination of other properties under consideration. In the remaining sections, we explore the connections between the various properties, both syntactically and semantically. We will give a complete characterization of the implications that exist among the properties, giving semantic and syntactic proofs for each implication that holds and demonstrating semantically that no further implications can hold.
URI: http://arks.princeton.edu/ark:/88435/dsp014b29b9084
Type of Material: Princeton University Senior Theses
Language: en
Appears in Collections:Mathematics, 1934-2021

Files in This Item:
File Description SizeFormat 
MATHERS-SAM-THESIS.pdf235.86 kBAdobe PDF    Request a copy


Items in Dataspace are protected by copyright, with all rights reserved, unless otherwise indicated.