Decidability of Some Extensions of J

Mathematical Logic Quarterly 20 (13‐18):203-206 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19740201304

Links

PhilArchive



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

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

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.
Identity in Mares-Goldblatt Models for Quantified Relevant Logic.Shawn Standefer - 2021 - Journal of Philosophical Logic 50 (6):1389-1415.
An Algebraic View of the Mares-Goldblatt Semantics.Andrew Tedder - 2024 - Journal of Philosophical Logic 53 (2):331-349.
Decidability of Some Logics with Free Quantifier Variables.D. A. Anapolitanos & J. A. Väänänen - 1981 - Mathematical Logic Quarterly 27 (2‐6):17-22.
Decidability of Some Logics with Free Quantifier Variables.D. A. Anapolitanos & J. A. Väänänen - 1981 - Mathematical Logic Quarterly 27 (2-6):17-22.
Some Elementary Results About the Equivalence of Computability and Decidability.Ulrich Huckenbeck - 1991 - Mathematical Logic Quarterly 37 (5-6):77-84.
Some Elementary Results About the Equivalence of Computability and Decidability.Ulrich Huckenbeck - 1991 - Mathematical Logic Quarterly 37 (5‐6):77-84.
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.
Decidability of some problems pertaining to base 2 exponential diophantine equations.Hilbert Levitz - 1985 - Mathematical Logic Quarterly 31 (7‐8):109-115.
On the Maximality of Some Conormal Extensions of a Lattice.Mai Gehrke & Klaus Kaiser - 1987 - Mathematical Logic Quarterly 33 (1):13-18.

Analytics

Added to PP
2013-11-24

Downloads
10 (#1,208,623)

6 months
2 (#1,449,525)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A note on JP'.Peter W. Woodruff - 1970 - Theoria 36 (2):183-184.

Add more references