Modal logics, justification logics, and realization

https://doi.org/10.1016/j.apal.2016.03.005Get rights and content
Under an Elsevier user license
open archive

Abstract

Justification logics connect with modal logics, replacing unstructured modal operators with justification terms explicitly representing interdependence and flow of reasoning. The number of justification logics quickly grew from an initial single instance to a handful to about a dozen examples. In this paper we provide very general, though partly non-constructive, methods that cover all previous examples, and extend to an infinite family of modal logics. The full range of the phenomenon is not known. The extent to which constructive methods apply is also not known, but it is related to the availability of cut-free proof methods for modal logics.

MSC

03A99
03B45
03B53
03B60

Keywords

Justification logic
Modal logic
Realization

Cited by (0)