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 [Book Review]

Journal of Symbolic Logic 47 (2):440-445 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273158

Other Versions

reprint Bull, Robert A. (1982) "A Note on Thomason's Refined Structures for Tense Logics". Journal of Symbolic Logic 47(2):440-445

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 96,689

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

Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, 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. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
Feferman Solomon. A language and axioms for explicit mathematics. 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. 87–139.Feferman Solomon. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Boffa Maurice, van Dalen Dirk, and McAloon Kenneth, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224. [REVIEW]G. R. Renardel de Lavalette & A. S. Troelstra - 1984 - Journal of Symbolic Logic 49 (1):308-311.
Gallin Daniel. Intensional and higher-order modal logic, with applications to Montague semantics. Mathematics studies, vol. 19. North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, ix + 148 pp. [REVIEW]Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
Martin-Löf Per. An intuitionistic theory of types: predicative part. Logic colloquium '73, Proceedings of the logic colloquium, Bristol, July 1973, edited by Rose H. E. and Shepherdson J. C., Studies in logic and the foundations of mathematics, vol. 80, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, New York, 1975, pp. 73–118. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):311-313.
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 , pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 , pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 , pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 , pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3. [REVIEW]Henry A. Kierstead - 1986 - Journal of Symbolic Logic 51 (1):229-232.
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part I. Studies in logic and the foundations of mathematics, vol. 64. North-Holland Publishing Company, Amsterdam and London 1971, VI + 508 pp. - L. Henkin, J. D. Monk, and A. Tarski. Cylindric set algebras and related structures. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 1–129. - H. Andréka and I. Németi. On cylindric-relativized set algebras. Cylindric set algebras, Lecture notes in mathematics, vol. 883, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 131–315. [REVIEW]Roger Maddux - 1985 - Journal of Symbolic Logic 50 (1):234-237.

Analytics

Added to PP
2016-06-30

Downloads
28 (#660,822)

6 months
6 (#1,144,581)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references