Lehmann, Eveline (2021). Subset Semantics for Justifications. (Thesis). Universität Bern, Bern

Text
21lehmann_e.pdf  Thesis Available under License Creative Commons: AttributionShare Alike (CCBYSA 4.0). Download (760kB)  Preview 
Abstract
Justification logic is a variant of modal logic where the modal operators are replaced be justification terms. So we deal with formulas like t:A where t is a term denoting some justification that justifies the formula A. There are many justification logics among which the Logic of Proof established by Artemov was the first. However, since a long time the framework of justification logic is also used in a wide range of epistemic logics. In this field justification terms represent reasons to belief or know something. A standard interpretation of a justification term t is then the set of formulas that are supported by the reason t. This thesis establishes in the first part another way to interpret terms, namely as sets of worlds. We use socalled subset models in which t:A is true in a normal world, when the interpretation of t in this world is a subset of the truthset of A. These models are shown to be sound and complete towards a whole family of justification logics, including the Logic of Proof. As is shown in the second part of this thesis, subset models can easily be adapted to model new kinds of justification terms and operations: finer distinctions between several variants of combining justifications, justifications with presumptions, probabilistic evidence. Furthermore, it is shown, how subset models can be used to model dynamic reasoning and forgetting.
Item Type:  Thesis 

Dissertation Type:  Single 
Date of Defense:  13 January 2021 
Subjects:  000 Computer science, knowledge & systems 500 Science > 510 Mathematics 
Institute / Center:  08 Faculty of Science > Institute of Computer Science (INF) 
Depositing User:  Hammer Igor 
Date Deposited:  01 Jun 2021 08:45 
Last Modified:  01 Jun 2021 08:51 
URI:  https://boristheses.unibe.ch/id/eprint/2748 
Actions (login required)
View Item 