A Note on Fixed Points in Justification Logics and the Surprise Test Paradox

Meghdad Ghari

In this note we study the effect of adding fixed points to justification logics. We introduce two extensions of justification logics: extensions by fixed point (or diagonal) operat…