Some Results and Problems in The Modal Set Theory MST

Mathematical Logic Quarterly 34 (2):123-134 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340206

Other Versions

reprint Krajíček, Jan (1988) "Some Results and Problems in The Modal Set Theory MST". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34(2):123-134

Links

PhilArchive



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

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 Results in Aczel‐Feferman Logic and Set Theory.M. W. Bunder - 1982 - Mathematical Logic Quarterly 28 (19):269-276.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 , pp. 69–84. [REVIEW]William M. Farmer - 1989 - Journal of Symbolic Logic 54 (3):1107-1108.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp. [REVIEW]Sam Buss - 2012 - Bulletin of Symbolic Logic 18 (4):576-578.
Some Decision Problems in the Theory of Syntactic Categories.Wojciech Buszkowski - 1982 - Mathematical Logic Quarterly 28 (33‐38):539-548.
On the Proof Theory of the Modal Logic Grz.M. Borga & P. Gentilini - 1986 - Mathematical Logic Quarterly 32 (10-12):145-148.
The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.
Jan Krajíček. On the number of steps in proofs. Annals of pure and applied logic, vol. 41 , pp. 153–178.William M. Farmer - 1991 - Journal of Symbolic Logic 56 (1):334-335.

Analytics

Added to PP
2013-12-01

Downloads
26 (#863,747)

6 months
5 (#1,080,408)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Evans's Vague Object from Set Theoretic Viewpoint.Shunsuke Yatabe & Hiroyuki Inaoka - 2006 - Journal of Philosophical Logic 35 (4):423-434.

Add more citations

References found in this work

An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.

Add more references