School of Mathematics (ETDs)

Permanent URI for this communityhttps://hdl.handle.net/10539/38013

Browse

Filters

2023 - 20243

Settings

Start date: 2020Subject: search.filters.subject.Modal logic

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    An Essay on Branching Time Logics
    (University of the Witwatersrand, Johannesburg, 2024) Marais, Chantel
    In this thesis we investigate the Priorian logics of a variety of classes of trees. These classes of trees are divided in to irreflexive and reflexive trees, and each of these has a number of subclasses, for example, dense irreflexive trees, discrete reflexive trees, irreflexive trees with branches isomorphic to the natural numbers, etc. We find finite axiomatisations for the logics of these different classes of trees and show that each logic is sound and strongly / weakly complete with respect to the respective class of trees. The methods use to show completeness vary from adapting some known constructions for specific purposes, including unravelling and bulldozing, building a network step-by-step, filtering through a finite set of formulas, as well as using some new processes, namely refining the filtration and unfolding. Once the logics have been shown to be sound and complete with respect to the different classes of trees, we also show that most of these logics are decidable, using methods that include the finite model property, mosaics and conservative extensions. Lastly, we give a glimpse into the available research on other languages used to study branching time structures, including the Peircean and Ockhamist languages, and languages that include additional modal operators like “since” and “until”
  • Thumbnail Image
    Item
    Tableaux and Decision Procedures for Many-Valued Modal Logics
    (University of the Witwatersrand, Johannesburg, 2024) Axelrod, Guy Ross
    The aim of this dissertation is to present results expanding on the work done by Melvin Fitting in [22] and [24]. In [22], Fitting introduces a framework of many-valued modal logics, where modal formulas are interpreted via generalized Kripke models in which both the propositional valuation and the accessibility relation take on values from some Heyting algebra of truth values. For a fixed arbitrary finite Heyting algebra, H, [24] presents a signed semantic tableau system that is sound and complete with respect to all H-frames. We go on to consider the many-valued generalizations of frame properties such as reflexivity and transitivity (as presented in [39]) and give parameterized tableau systems which are sound and complete with respect to classes of H-frames satisfying such properties. Further, a prefixed tableau system is introduced, which allows us to define an intuitive decision procedure deciding the logics of the above- mentioned H-frame classes, as well as logics of H-frames satisfying generalized symmetry properties, which cannot be captured by Fitting’s unprefixed systems. Further, they allow us to derive finite frame properties. Such a decision procedure has been implemented, and is available on GitHub.
  • Thumbnail Image
    Item
    On polarity-based semantics for non-distributive modal logics
    (University of the Witwatersrand, Johannesburg, 2023) Clingman, R.; Conradie, Willem
    This masters study builds upon recent research in polarity-based semantics for non-distributive modal logics (NDMLs). Current formulations of polarity-based semantics for NDML impose compatibility requirements on additional relations of polarity-based frames, hindering applicability of the semantics, as arbitrary frames need not be compatible. In this study we develop a polarity-based semantics for NDML with modalites that are, in general, neither normal nor distributive and without the imposition of compatibility requirements. We provide a sound and complete axiomatization of this logic. The second half of the thesis focuses on a special class of enriched polarities, those who are in a sense liftings of Kripke frames. The compatibility of these liftings combined with the intuitive nature of the underlying Kripke frames makes for a useful case study in which to explore p-morphisms between enriched polarities, and enriched polarity-based models, from a relational perspective.