Exploring Subset Models for Justification Logic
Abstract
Justification logic is a refinement of modal logic that includes explicit justifications for an agent’s knowledge. So far, most semantics for justification logic interpret justifications symbolically, that is, as sets of formulas. We present a different and more flexible approach, called subset semantics, that models justifications as sets of possible worlds. We compare two variants of subset semantics and show that they are essentially different. Further, we discuss subset semantics in the context of hyperintensionality. Moreover we study a novel contraction operation on justifications and we introduce justifications with presumptions.
Date Issued
2021
Publication Type
Book Section
Language(s)
en
Editor(s)
Fitting, Melvin |
Additional Credits
Publisher
College Publications
ISBN
978-1-84890-350-0
Book Title
Access(Rights)
restricted