Formal Justification of Underspecification for S5
Aaron, Eric; Gries, David
We formalize the notion of underspecification as a means of avoiding problems with partial functions in modal logic S5 and some semantically related logics. For these logics, underspecification respects validity, so incorporating it into their semantics leaves their classes of valid formulae unchanged.
computer science; technical report
Previously Published As