Authors
Michael A. McRobbie
Indiana University, Bloomington
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19790253203
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: 65,683
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

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
The Collected Papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam: North-Holland Pub. Co..
First-Order Logic.William Craig - 1975 - Journal of Symbolic Logic 40 (2):237-238.
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.
Relevant Analytic Tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Relevant Analytic Tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
Dyadic Deontic Logic and Semantic Tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Tableaux Variants of Some Modal and Relevant Systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Counterfactuals and Semantic Tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
A Tableau System for Positive Relevant Implication.Michael A. McRobbie - 1977 - Bulletin of the Section of Logic 6:131-133.
Terminating Tableau Systems for Hybrid Logic with Difference and Converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Complexity of Admissible Rules.Emil Jeřábek - 2007 - Archive for Mathematical Logic 46 (2):73-92.
Some Metacomplete Relevant Modal Logics.Takahiro Seki - 2013 - Studia Logica 101 (5):1115-1141.

Analytics

Added to PP index
2013-11-24

Total views
32 ( #345,944 of 2,462,379 )

Recent downloads (6 months)
1 ( #449,313 of 2,462,379 )

How can I increase my downloads?

Downloads

My notes