UVicSpace

A decision and minimization procedure for modal logic

Show simple item record

dc.contributor.author Boyer, Wanda B. K.
dc.date.accessioned 2016-08-18T19:04:27Z
dc.date.available 2016-08-18T19:04:27Z
dc.date.copyright 2016 en_US
dc.date.issued 2016-08-18
dc.identifier.uri http://hdl.handle.net/1828/7462
dc.description.abstract This 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.language English eng
dc.language.iso en en_US
dc.rights Available to the World Wide Web en_US
dc.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ca/ *
dc.subject modal logic en_US
dc.subject satisfiability en_US
dc.subject model theory en_US
dc.subject formal logic en_US
dc.subject formal system en_US
dc.subject Enfragmo en_US
dc.subject decision procedure en_US
dc.subject semantic en_US
dc.subject structure en_US
dc.subject Kripke en_US
dc.title A decision and minimization procedure for modal logic en_US
dc.type Thesis en_US
dc.contributor.supervisor Yap, Audrey
dc.contributor.supervisor Kapron, Bruce M. (Bruce Michael)
dc.degree.department Department of Computer Science en_US
dc.degree.level Master of Science M.Sc. en_US
dc.description.scholarlevel Graduate en_US
dc.description.proquestcode 0984 en_US
dc.description.proquestcode 0318 en_US


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Available to the World Wide Web Except where otherwise noted, this item's license is described as Available to the World Wide Web

Search UVicSpace


Browse

My Account

Statistics

Help