A stipulation of a modal propositional calculus in terms of modalized truth-values

Notre Dame Journal of Formal Logic 4 (3):224-226 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957580

Links

PhilArchive



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

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 stipulation of logical truth in a modal propositional calculus.Charles E. Caton - 1962 - Synthese 14 (2-3):196-199.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Inferentializing consequence.Jaroslav Peregrin - unknown
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
A philosophical conception of propositional modal logic.Edward N. Zalta - 1993 - Philosophical Topics 21 (2):263-281.
A note on the completeness of Kozen's axiomatisation of the propositional μ-calculus.Igor Walukiewicz - 1996 - Bulletin of Symbolic Logic 2 (3):349-366.
Propositional logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Adequacy Results for Some Priorean Modal Propositional Logics.Fabrice Correia - 1999 - Notre Dame Journal of Formal Logic 40 (2):236-249.
A modal sequent calculus for a fragment of arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
On modal μ -calculus and gödel-löb logic.Luca Alberucci & Alessandro Facchini - 2009 - Studia Logica 91 (2):145 - 169.
Truth values.Greg Restall - unknown
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.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,045,260)

6 months
2 (#1,015,942)

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