Three existence principles in a modal calculus without descriptions contained in A. Bressan's ${\rm MC}^\nu$

Notre Dame Journal of Formal Logic 21 (4):711-727 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883257

Links

PhilArchive



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

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

A general interpreted modal calculus.Aldo Bressan - 1972 - New Haven,: Yale University Press.
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
CIFOL: Case-Intensional First Order Logic: Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Replies to van Fraassen's Comments: Bressan and Suppes on Modality.Aldo Bressan - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:331 - 334.
Marti on Descriptions in Carnap’s S.Michael Kremer - 1997 - Journal of Philosophical Logic 26 (6):629-634.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Conversion Principles and the Basis of Aristotle's Modal Logic.Richard Patterson - 1990 - History and Philosophy of Logic 11 (2):151-172.
On the Usefulness of Modal Logic in Axiomatizations of Physics.Aldo Bressan - 1972 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1972:285 - 303.
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa

Analytics

Added to PP
2010-08-24

Downloads
19 (#805,446)

6 months
9 (#320,673)

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