Intensional Descriptions and Relative Completeness in the General Interpreted Modal Calculus MCv

In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, Language, and Probability. Boston: D. Reidel Pub. Co.. pp. 29--40 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

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.
Review: Aldo Bressan, A General Interpreted Modal Calculus; Nuel D. Belnap, Foreword. [REVIEW]R. A. Bull - 1974 - Journal of Symbolic Logic 39 (2):352-352.
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.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
A general interpreted modal calculus.Aldo Bressan - 1972 - New Haven,: Yale University Press.
Intensional completeness in an extension of gödel/dummett logic.Matt Fairtlough & Michael Mendler - 2003 - Studia Logica 73 (1):51 - 80.
Review: M. J. Cresswell, A Henkin Completeness Theorem for T; M. J. Cresswell, Alternative Completeness Theorems for Modal Systems; M. J. Cresswell, Some Proofs of Relative Completeness in Modal Logic. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
A note on intensional superlatives.Yael Sharvit - manuscript
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Interpreting Descriptions in Intensional Type Theory.Jesper Carlström - 2005 - Journal of Symbolic Logic 70 (2):488 - 514.
The Epsilon Calculus and its Applications.B. H. Slater - 1991 - Grazer Philosophische Studien 41 (1):175-205.

Analytics

Added to PP
2014-01-28

Downloads
6 (#1,476,313)

6 months
1 (#1,501,182)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references