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.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:BVAU.2429/2277 |
| Date | 05 1900 |
| Creators | Apostoli, Peter J. |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | English |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
| Relation | UBC Retrospective Theses Digitization Project [http://www.library.ubc.ca/archives/retro_theses/] |
Page generated in 0.0019 seconds