A decision and minimization procedure for modal logic

Files

Boyer_Wanda_MSc_2016.pdf (574.16 KB)

Date

2016-08-18

Authors

Boyer, Wanda B. K.

Journal Title

Journal ISSN

Volume Title

Publisher

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.

Description

Keywords

modal logic, satisfiability, model theory, formal logic, formal system, Enfragmo, decision procedure, semantic, structure, Kripke

Citation

URI

http://hdl.handle.net/1828/7462

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.