Universal First‐Order Definability in Modal Logic

, &
Mathematical Logic Quarterly 26 (19-21):327-330 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19800261904

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

Universal First‐Order Definability in Modal Logic.R. E. Jennings, D. K. Johnston & P. K. Schotch - 1980 - Mathematical Logic Quarterly 26 (19‐21):327-330.
Non-adjunctive inference and classical modalities.Horacio Arló Costa - 2005 - Journal of Philosophical Logic 34 (5/6):581 - 605.
A Remark on M. K. Rennie's Paper “Models for Multiply Modal Systems”.V. B. Šehtman - 1977 - Mathematical Logic Quarterly 23 (36):555-558.
A Remark On M. K. Rennie's Paper “models For Multiply Modal Systems”.V. Šehtman - 1976 - Mathematical Logic Quarterly 23 (36):555-558.
Partition Relations for Strongly Normal Ideals on P~k~a~p~p~a(Lambda).P. Matet - 2000 - Mathematical Logic Quarterly 46 (1):87-104.
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.
Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second‐Order Logic.Iain A. Stewart - 1997 - Mathematical Logic Quarterly 43 (1):1-21.
Completeness and Definability in the Logic of Noncontingency.Evgeni E. Zolin - 1999 - Notre Dame Journal of Formal Logic 40 (4):533-547.
A Tukey decomposition of ~k~a~p~p~aLambda and the tree property for directed sets.M. Karato - 2005 - Mathematical Logic Quarterly 51 (3):305.
Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic.Bogdan Stanislaw Chlebus - 1980 - Mathematical Logic Quarterly 26 (34‐35):529-536.

Analytics

Added to PP
2015-12-02

Downloads
38 (#409,559)

6 months
11 (#338,924)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schotch
Dalhousie University

Citations of this work

Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.
On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.

View all 6 citations / Add more citations

References found in this work

First-order definability in modal logic.R. I. Goldblatt - 1975 - Journal of Symbolic Logic 40 (1):35-40.

Add more references