Journal of Symbolic Logic 40 (3):467-468 (1975)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2272207
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,508
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
The Bounded Proof Property Via Step Algebras and Step Frames.Nick Bezhanishvili & Silvio Ghilardi - 2014 - Annals of Pure and Applied Logic 165 (12):1832-1863.
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.

View all 8 citations / Add more citations

Similar books and articles

Tableaux Variants of Some Modal and Relevant Systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Marginalia on Sequent Calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
A Semantics For Modal Calculi.J. Ivlev - 1988 - Bulletin of the Section of Logic 17 (3-4):114-121.
Semantics for a Class of Intuitionistic Modal Calculi.Gisele Servi - 1978 - Bulletin of the Section of Logic 7 (1):26-29.

Analytics

Added to PP index
2015-02-05

Total views
6 ( #1,029,579 of 2,330,895 )

Recent downloads (6 months)
6 ( #121,559 of 2,330,895 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes