A modal logic "epsilon"-calculus

Notre Dame Journal of Formal Logic 16:1 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891609

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Book review: Melvin Fitting. Computability theory, semantics, and logic programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.
Book Review: Raymond M. Smullyan and Melvin Fitting. Set Theory and the Continuum Problem. [REVIEW]Stephen Pollard - 1997 - Notre Dame Journal of Formal Logic 38 (3):475-480.
A modal logic $\varepsilon$-calculus.Melvin Fitting - 1975 - Notre Dame Journal of Formal Logic 16 (1):1-16.
Axiomatisations of the Modal Calculus Q.A. N. Prior - 1964 - Notre Dame Journal of Formal Logic 5 (3):215-217.
An axiomatization of Prior's modal calculus $Q$.R. A. Bull - 1964 - Notre Dame Journal of Formal Logic 5 (3):211-214.
The propostitional calculus ${\rm MC}$ and its modal analog.J. Jay Zeman - 1968 - Notre Dame Journal of Formal Logic 9 (4):294-298.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.
A stipulation of a modal propositional calculus in terms of modalized truth-values.Charles E. Caton - 1963 - Notre Dame Journal of Formal Logic 4 (3):224-226.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
The numerical epsilon.John Thomas Canty - 1969 - Notre Dame Journal of Formal Logic 10 (1):47-63.

Analytics

Added to PP
2017-02-20

Downloads
17 (#866,139)

6 months
5 (#837,573)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references