Noninterference for Intuitionist Necessity

, &
In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 185--196 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

External links

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

Through your library

My notes

Similar books and articles

Jagadeesan, Radha, 306 Japaridze, Giorgi, xi.Arnon Avron, Oskar Becker, Johan van Benthem, Andreas Blass, Robert Brandom, L. E. J. Brouwer, Donald Davidson, Michael Dummett & Walter Felscher - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Dordrecht, Netherland: Springer Verlag. pp. 377.
Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Quantification, Time, and Necessity.Nino Cocchiarella - 1991 - In Karel Lambert (ed.), Philosophical applications of free logic. New York: Oxford University Press. pp. 242--256.
James E. Baumgartner. Sacks forcing and the total failure of Martin's axiom. Topology and its applications, vol. 19 , pp. 211–225. - James E. Baumgartner and Peter Dordal. Adjoining dominating functions. The journal of symbolic logic, vol. 50 , pp. 94–101. [REVIEW]Alan Dow - 2000 - Bulletin of Symbolic Logic 6 (4):495-497.
The Divine Consort: Rādhā and the Goddesses of IndiaThe Divine Consort: Radha and the Goddesses of India.K. E. Bryant, John Stratton Hawley & Donna Marie Wulff - 1990 - Journal of the American Oriental Society 110 (3):550.
Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
George Pitcher. Introduction. Truth, edited by George Pitcher, Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1964, pp. 1–15. [REVIEW]Jonathan Bennett - 1968 - Journal of Symbolic Logic 33 (1):147-148.
Chapter XII. Applications and discussion.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - In J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity. Princeton University Press. pp. 488-564.
Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.

Analytics

Added to PP
2014-01-28

Downloads
13 (#1,320,757)

6 months
5 (#1,038,502)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references