ETD Collection

Permanent URI for this collectionhttps://wiredspace.wits.ac.za/handle/10539/104


Please note: Digitised content is made available at the best possible quality range, taking into consideration file size and the condition of the original item. These restrictions may sometimes affect the quality of the final published item. For queries regarding content of ETD collection please contact IR specialists by email : IR specialists or Tel : 011 717 4652 / 1954

Follow the link below for important information about Electronic Theses and Dissertations (ETD)

Library Guide about ETD

Browse

Filters

20161

Settings

Author: search.filters.author.Cromberge, Michael BenjaminSubject: search.filters.subject.Algebra

Search Results

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Algebraic filtrations of the modal m-Calculus
    (2016) Cromberge, Michael Benjamin
    In this thesis we analyse the issue of decidability for two modal logics which contain least binders. Towards this goal, we begin the work with a brief survey of modal logic, PDL, the modal -calculus and algebraic filtrations as exposited by Conradie et al. The first such modal logic we analyse is the fragment of the modal -calculus corresponding to PDL; the second logic is the equational theory of the class of -algebras (motivated by the least root calculus of Pratt). We offer a new, algebraic, proof for the decidability of PDL by showing that PDL has the finite model property with respect to the class of dynamic algebras. We then show that the equational theory of the class of -algebras has the finite model property with respect to the class of -algebras; this is based on the proof of Pratt but differs in an important detail. The finite model property results for these two modal logics are achieved by an algebraic filtration method based on that of Conradie et al.