Algebraic filtrations of the modal m-Calculus

Simple item page
dc.contributor.authorCromberge, Michael Benjamin
dc.date.accessioned2017-01-20T07:47:21Z
dc.date.available2017-01-20T07:47:21Z
dc.date.issued2016
dc.descriptionA Dissertation submitted to the Faculty of Science, University of the Witwatersrand, Johannesburg, in ful lment of the requirements for the degree of Master of Science in Mathematics. 26 August 2016.en_ZA
dc.description.abstractIn 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.en_ZA
dc.description.librarianLG2017en_ZA
dc.format.extentOnline resource (iv, 81 leaves)
dc.identifier.citationCromberge, Michael Benjamin (2016) Algebraic filtrations of the modal m-Calculus, University of Witwatersrand, Johannesburg, <http://wiredspace.wits.ac.za/handle/10539/21724>
dc.identifier.urihttp://hdl.handle.net/10539/21724
dc.language.isoenen_ZA
dc.subject.lcshModality (Logic)
dc.subject.lcshCalculus
dc.subject.lcshAlgebra
dc.titleAlgebraic filtrations of the modal m-Calculusen_ZA
dc.typeThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Final_Submission.pdf
Size:
1.32 MB
Format:
Adobe Portable Document Format
Description:
Main article
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
ETD Collection