A General Interpreted Modal Calculus

Journal of Symbolic Logic 39 (2):352-352 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272700

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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.
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.
Intensional Descriptions and Relative Completeness in the General Interpreted Modal Calculus MCv.Aldo Bressan - 1973 - In Radu J. Bogdan & Ilkka Niiniluoto (eds.), Logic, Language, and Probability. Boston: D. Reidel Pub. Co.. pp. 29--40.
A general interpreted modal calculus.Aldo Bressan - 1972 - New Haven,: Yale University Press.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
On a modal-type language for the predicate calculus.Dimiter Skordev - 1984 - Bulletin of the Section of Logic 13 (3):111-116.
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.
Sahlqvist Correspondence for Modal mu-calculus.Johan Benthem, Nick Bezhanishvili & Ian Hodkinson - 2012 - Studia Logica 100 (1-2):31-60.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Syntactic cut-elimination for a fragment of the modal mu-calculus.Kai Brünnler & Thomas Studer - 2012 - Annals of Pure and Applied Logic 163 (12):1838-1853.
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.
Review: A. N. Prior, Notes on a Group of New Modal Systems; R. A. Bull, An Axiomatization of Prior's Modal Calculus $mathbf{Q}$; A. N. Prior, Axiomatisations of the Modal Calculus $mathbf{Q}$. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464-464.
Effective Cut-elimination for a Fragment of Modal mu-calculus.Grigori Mints - 2012 - Studia Logica 100 (1-2):279-287.

Analytics

Added to PP
2017-02-21

Downloads
12 (#1,058,801)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Quantification and Epistemic Modality.Dilip Ninan - 2018 - Philosophical Review 127 (4):433-485.
On rigorous definitions.Nuel Belnap - 1993 - Philosophical Studies 72 (2-3):115 - 146.
Naming and epistemic necessity.Dilip Ninan - 2019 - Noûs 55 (2):334-362.
BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.

View all 15 citations / Add more citations

References found in this work

No references found.

Add more references