A decision and minimization procedure for modal logic

Simple item page
dc.contributor.authorBoyer, Wanda B. K.
dc.contributor.supervisorYap, Audrey
dc.contributor.supervisorKapron, Bruce M. (Bruce Michael)
dc.date.accessioned2016-08-18T19:04:27Z
dc.date.available2016-08-18T19:04:27Z
dc.date.copyright2016en_US
dc.date.issued2016-08-18
dc.degree.departmentDepartment of Computer Scienceen_US
dc.degree.levelMaster of Science M.Sc.en_US
dc.description.abstractThis thesis describes a decision and minimization procedure for modal logic. The decision procedure answers the question of whether there exists a satisfying pointed model for a formula which obeys user-specified first-order conditions on the underlying frame. Then the minimization procedure produces a minimal model with respect to the number of worlds that satisfies the desired formula while obeying the requisite conditions on the underlying frame. A proof of correctness for the decision and minimization procedures is supplied, as well as a description of an implementation built upon the Enfragmo model expansion solver.en_US
dc.description.proquestcode0984en_US
dc.description.proquestcode0318en_US
dc.description.proquestemailwbkboyer@gmail.comen_US
dc.description.scholarlevelGraduateen_US
dc.identifier.urihttp://hdl.handle.net/1828/7462
dc.languageEnglisheng
dc.language.isoenen_US
dc.rightsAvailable to the World Wide Weben_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/2.5/ca/*
dc.subjectmodal logicen_US
dc.subjectsatisfiabilityen_US
dc.subjectmodel theoryen_US
dc.subjectformal logicen_US
dc.subjectformal systemen_US
dc.subjectEnfragmoen_US
dc.subjectdecision procedureen_US
dc.subjectsemanticen_US
dc.subjectstructureen_US
dc.subjectKripkeen_US
dc.titleA decision and minimization procedure for modal logicen_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Boyer_Wanda_MSc_2016.pdf
Size:
574.16 KB
Format:
Adobe Portable Document Format
Description:
Masters thesis for MSc. in Dept. of Computer Science - Wanda B. K. Boyer
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.74 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Electronic Theses and Dissertations (ETD)
Theses (Computer Science)
 
University of Victoria Libraries

We acknowledge and respect the Lək̓ʷəŋən (Songhees and Esquimalt) Peoples on whose territory the university stands, and the Lək̓ʷəŋən and W̱SÁNEĆ Peoples whose historical relationships with the land continue to this day.