A Model‐Theoretic Study of Some Systems Containing S 3

Mathematical Logic Quarterly 19 (3-6):75-82 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19730190304

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

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

Some Model‐Theoretic Results for the Relevant Logic with Quantification.Mirosław Szatkowski - 1986 - Mathematical Logic Quarterly 32 (19‐24):355-363.
Contractions of Closure Systems.Stephen Pollard & Norman M. Martin - 1994 - Notre Dame Journal of Formal Logic 35 (1):108-115.
On Some σ‐Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Mathematical Logic Quarterly 28 (33‐38):525-538.
Modalities of Systems Containing S3.K. E. Pledger - 1972 - Mathematical Logic Quarterly 18 (16‐18):267-283.
The Logics Containing S 4.3.Kit Fine - 1971 - Mathematical Logic Quarterly 17 (1):371-376.
Nullstellensätze — A Model Theoretic Framework.Volker Weispfenning - 1976 - Mathematical Logic Quarterly 23 (36):539-545.
Model Theoretic Approaches to Definability.J. Richard Büchi & Kenneth J. Danhof - 1972 - Mathematical Logic Quarterly 18 (4‐6):61-70.
Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40, pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14.Goldblatt R. I. and Thomason S. K.. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 163–173.Goldblatt R. I.. First-order definability in modal logic. [REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
Infinitary Model‐Theoretic Properties Of χ‐Saturated Structures.Volker Weispfenning - 1973 - Mathematical Logic Quarterly 19 (7):97-109.
Some Notions of Random Sequence and Their Set-Theoretic Foundations.Arthur H. Kruse - 1967 - Mathematical Logic Quarterly 13 (19-20):299-322.

Analytics

Added to PP
2013-11-24

Downloads
37 (#611,069)

6 months
10 (#411,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

C. I. Lewis’s Intensional Semantics.Edwin Mares - 2023 - Notre Dame Journal of Formal Logic 64 (3):329-352.

Add more citations

References found in this work

Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
Decidability of S4.1.Krister Segerberg - 1968 - Theoria 34 (1):7-20.

Add more references