Return to search

An essay in natural modal logic

A generalized inclusion (g.i.) frame consists of a set of points (or "worlds") W and an assignment of a binary relation Rw on W to each point w in W. generalized inclusion frames whose Rw are partial orders are called comparison frames. Conditional logics of various comparative notions, for example, Lewis's V-logic of comparative possibility and utilitarian accounts of conditional obligation, model the dyadic modal operator > on comparison frames according to (what amounts to) the following truth condition: oc>13"holds at w" if every point in the truth set of a bears Rw to some point where holds.
In this essay I provide a relational frame theory which embraces both accessibility semantics and g.i. semantics as special cases. This goal is achieved via a philosophically significant generalization of universal strict implication which does not assume accessibility as a primitive. Within this very general setting, I provide the first axiomatization of the dyadic modal logic corresponding to the class of all g.i. frames. Various correspondences between dyadic logics and first order definable subclasses of the class of g.i. frames are established. Finally, some general model constructions are developed which allow uniform completeness proofs for important sublogics of Lewis' V.

Identiferoai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:BVAU.2429/2277
Date05 1900
CreatorsApostoli, Peter J.
Source SetsLibrary and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada
LanguageEnglish
Detected LanguageEnglish
TypeElectronic Thesis or Dissertation
RelationUBC Retrospective Theses Digitization Project [http://www.library.ubc.ca/archives/retro_theses/]

Page generated in 0.0019 seconds