A Constructive Presentation for the Modal Connective of Necessity (\Box)

@article{Benevides1992ACP,
title={A Constructive Presentation for the Modal Connective of Necessity (\Box)},
author={Mario R. F. Benevides and T. S. E. Maibaum},
journal={J. Log. Comput.},
year={1992},
volume={2},
pages={31-50}
}

This work provides a constructive presentation of modal logics in natural deduction style. The modal connective • is presented in a constructive form, which can be considered as an operational semantics for it. Modal connectives have been recognized as intentional connectives for a long time, but modal logicians have insisted in using extensional techniques to deal with them. In this paper, the modal connective is presented as a higherorder connective defined on top of the object level logical… CONTINUE READING