A new modal language with the λ operator

Studia Logica 40 (4):383 - 389 (1981)
  Copy   BIBTEX


A system of modal logic with the operator is proposed, and proved complete. In contrast with a previous one by Stalnaker and Thomason, this system does not require two categories of singular terms



    Upload a copy of this work     Papers currently archived: 92,931

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles


Added to PP

71 (#236,315)

6 months
6 (#588,245)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ermanno Bencivenga
University of California, Irvine

References found in this work

ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
Model theory for modal logic—part II The elimination of de re modality.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):277 - 306.

Add more references