It would be perfectly reasonable to be more explicit and use a
subscript name for the theory after the ⊢. In fact, when
more than one theory is being used, it is necessary to the
use the subscript to avoid ambiguity.
Unfortunately, many modal logics do not allow the subscript.
It would be perfectly reasonable to be more explicit and use a
subscript name for the theory after the ⊢. In fact, when
more than one theory is being used, it is necessary to the
use the subscript to avoid ambiguity.
Unfortunately, many modal logics do not allow the subscript.