An Essay on Branching Time Logics

Simple item page
dc.contributor.authorMarais, Chantel
dc.date.accessioned2024-11-05T09:04:21Z
dc.date.available2024-11-05T09:04:21Z
dc.date.issued2024
dc.descriptionA thesis presented for the degree of Doctor of Philosophy School of Mathematics University of the Witwatersrand South Africa 2024
dc.description.abstractIn 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”
dc.description.submitterMM2024
dc.facultyFaculty of Science
dc.identifierhttps://orcid.org/ 0009-0008-3176-3699
dc.identifier.citationMarais, Chantel. (2024). An Essay on Branching Time Logics [PhD thesis, University of the Witwatersrand, Johannesburg]. WireDSpace.https://hdl.handle.net/10539/42176
dc.identifier.urihttps://hdl.handle.net/10539/42176
dc.language.isoen
dc.publisherUniversity of the Witwatersrand, Johannesburg
dc.rights© 2024 University of the Witwatersrand, Johannesburg. All rights reserved. The copyright in this work vests in the University of the Witwatersrand, Johannesburg. No part of this work may be reproduced or transmitted in any form or by any means, without the prior written permission of University of the Witwatersrand, Johannesburg.
dc.rights.holderUniversity of the Witwatersrand, Johannesburg
dc.schoolSchool of Mathematics
dc.subjectLocig
dc.subjectModal logic
dc.subjectTemporal logic
dc.subjectAxiomatisation
dc.subjectDecidability
dc.subjectBranching time
dc.subjectTrees.
dc.subjectUCTD
dc.subject.otherSDG-4: Quality education
dc.titleAn Essay on Branching Time Logics
dc.typeThesis
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
Marais_Essayy_2024.pdf
Size:
714.16 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
Marais_Essayy_2024.pdf
Size:
714.16 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
2.43 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Electronic Theses and Dissertations (PhDs)