Geach Justification Logics Semantically

For justification versions of Geach logics we use Fitting models as defined in Section 4.2. Beyond the basics, we need special conditions on evidence functions and frames. The frame condition is the same as for modal G^k∙^l∙^m∙ⁿ. To state the evidence function conditions in a compact way we introduce yet another piece of notation.

8.6