Lennart Åqvist. Results concerning some modal systems that contain S2. The journal of symbolic logic, vol. 29 , pp. 79–87. - E. J. Lemmon. Some results on finite axiomatlzability in modal logic. Notre Dame journal of formal logic, vol. 6 , pp. 301–308. - E. J. Lemmon. A note on Halldén-incompleteness. Notre Dame journal of formal logic, vol. 7 no. 4 , pp. 296–300 [Book Review]

Journal of Symbolic Logic 34 (4):648-649 (1970)

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

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,509
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

No citations found.

Add more citations

Similar books and articles

Some Results on Finite Axiomatizability in Modal Logic.E. J. Lemmon - 1965 - Notre Dame Journal of Formal Logic 6 (4):301-308.
A Note on Halldén-Incompleteness.E. J. Lemmon - 1966 - Notre Dame Journal of Formal Logic 7 (4):296-300.
Results Concerning Some Modal Systems That Contain S2.Lennart Aqvist & E. J. Lemmon - 1969 - Journal of Symbolic Logic 34 (4):648-649.
An Extension Algebra and the Modal System ${\Rm T}$.E. J. Lemmon - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):3-12.
Some Embedding Theorems for Modal Logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
Syntactic Refutations Against Finite Models in Modal Logic.Tomasz Skura - 1994 - Notre Dame Journal of Formal Logic 35 (4):595-605.
Halldén-Completeness by Gluing of Kripke Frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
An Alternative Rule of Disjunction in Modal Logic.Timothy Williamson - 1991 - Notre Dame Journal of Formal Logic 33 (1):89-100.

Analytics

Added to PP index
2019-06-02

Total views
5 ( #1,070,357 of 2,286,511 )

Recent downloads (6 months)
3 ( #423,959 of 2,286,511 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature