TR-2014004: Justification Logics and Realization

Justification logics are explicit versions of modal logics, in which reasons for formulas being so are part of the formula structure.Justification logics are connected with their corresponding modal logics through Realization Theorems.Beginning with S4, several standard modal logics have been shown to have justification counterparts: K, K4, S5, and so on.In this report we begin exploration of the question: what is the range of modal logics that have justification counterparts.We introduce general methodology that applies to all current examples, though non-constructively.We use this machinery to establish realization results for some new justification logics based on modal logics that have not been considered in justification context before.Our work is based on the machinery introduced in [9], but which is now examined in a general setting.The results presented here are not intended to be final, but represent a stage in a continuing investigation.