Exploring Subset Models for Justification Logic

Lehmann, Eveline; Studer, Thomas (2021). Exploring Subset Models for Justification Logic. In: Fitting, Melvin (ed.) Selected Topics from Contemporary Logics. London: College Publications

Text subsetmodelsBook.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (165kB)

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.

Interest & Impact

Downloads

2 since deposited on 04 Feb 2022
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item