Assertion: modal logic | /r/HasAspect | justification counterparts
Facets:
value: in a similar way
type: MANNER
value: with a realization theorem
type: OTHER
value: with a fitting semantics
type: OTHER
Source sentences:
text: More recently it has been discovered that there is an infinite family of modal logics that have justification counterparts, but for which the connection with arithmetic proofs is weak or missing.
text: In a similar way every modal logic axiomatized by Geach schemes in this family has a justification counterpart, with a Fitting semantics and a realization theorem connecting the justification counterpart with the corresponding modal logic.