[feed] pefprints@pef.uni-lj.si | [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 |
  Logo Login | Create Account

Basics of modal logic

Lara Pirjevec (2015) Basics of modal logic. Diploma thesis.

Download (504Kb)


    In thesis we first recall basics of propositional logic. Then we distinguish between various modes of truth and give matematical fundation/basis in which we become familiar with syntax and semantics of modal logic. Then we introduce and define models, valid formulas, formula schemes and equivalences between modal formulas. Later on we focus on a logic engineering in which we model various modes of truth. To achieve that we have to decide which formula schemes should be valid in models. At the end we also look at the properties of the accessibility relation and its conection with formulas.

    Item Type: Thesis (Diploma thesis)
    Keywords: modal logic, modes of truth, necessity, possibility, possible world, model, accessibility relation, formula scheme
    Number of Pages: 31
    Language of Content: Slovenian
    Mentor / Comentors:
    Mentor / ComentorsIDFunction
    prof. dr. Andrej BauerMentor
    izr. prof. dr. Marko SlaparComentor
    Link to COBISS: http://www.cobiss.si/scripts/cobiss?command=search&base=50126&select=(ID=10681417)
    Institution: University of Ljubljana
    Department: Faculty of Education
    Item ID: 2982
    Date Deposited: 09 Sep 2015 11:22
    Last Modified: 09 Sep 2015 11:22
    URI: http://pefprints.pef.uni-lj.si/id/eprint/2982

    Actions (login required)

    View Item