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

  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.},
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

From This Paper

Topics from this paper.
10 Citations
20 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 20 references

A Constructive Natural Deduction Presentation for the Modal Connective D

  • M.R.F. Benevides, T.S.E. Maibaum
  • Research Report DoC 90/13,
  • 1990
Highly Influential
4 Excerpts

Basic modal logic

  • K. R. Bull
  • Sergerberg
  • 1984
Highly Influential
5 Excerpts

Heijennort (ed.) From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931

  • G. Frege
  • 1967
Highly Influential
4 Excerpts

Natural Deduction. A Proof-Theoretical Study

  • D. Prawitz
  • Uppsala: Almqvist & Wiksell
  • 1965
Highly Influential
4 Excerpts

The foundations of mathematics

  • D. Hilbert
  • Journal of Philosophy
  • 1927
Highly Influential
4 Excerpts

Proof Methods for Modal and Intuitionistic Logics

  • M. Fitting
  • Dordrecht: D. Reidel
  • 1983
Highly Influential
5 Excerpts

Symbolic Logic, an Introduction

  • F. B. Fitch
  • 1952
Highly Influential
5 Excerpts

A Deduction Model of belief and its Logics

  • K. Konolige
  • 1984
2 Excerpts

Semantical Investigations in Heyting's Intuitionistic Logic

  • D. Gabbay
  • 1981
1 Excerpt

Similar Papers

Loading similar papers…