Volume 54; Issue 4

Main
Journal of Symbolic Logic
Volume 54; Issue 4

Journal of Symbolic Logic

Volume 54; Issue 4

1

Descriptive Set Theory Over Hyperfinite Sets

H. Jerome Keisler, Kenneth Kunen, Arnold Miller and Steven Leth

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 309 KB

english, 1989

2

Proof Theory and Logical Complexityby Jean-Yves Girard

Review by: Helmut Pfeifer

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 103 KB

english, 1989

3

Alternatives to Standard first-order Semanticsby Hugues Leblanc; D. Gabbay; F. Guenthner

Review by: Martin Davies

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 104 KB

english, 1989

4

Handlung, Zeit, Notwendigkeit. Eine Ontologisch-Semantische Untersuchungby Uwe Meixner

Review by: Jean-Louis Gardies

Journal:

Journal of Symbolic Logic

Year:

1989

File:

PDF, 81 KB

1989

5

Modal Logic and Self-Reference.

Visser, Albert, Smorynski, Craig

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 105 KB

english, 1989

6

Åqvist Lennart. Deontic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 605–714.

Makinson, David

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.20 MB

english, 1989

7

A general treatment of equivalent modalities

Bellissima, Fabio, Mirolli, Massimo

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 725 KB

english, 1989

8

Interpolation in fragments of intuitionistic propositional logic

de Lavalette, Gerard R. Renardel

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 652 KB

english, 1989

9

Coding over a measurable cardinal

Friedman, Sy D.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.10 MB

english, 1989

10

Bull Robert and Segerberg Krister. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88.Burgess John P.. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133.Thomason Richmond H.. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishin

Kuhn, Steven T.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.20 MB

english, 1989

11

The equivalence of the disjunction and existence properties for modal arithmetic

Friedman, Harvey, Sheard, Michael

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 357 KB

english, 1989

12

Smoryński Craig. Modal logic and self-reference. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 441–495.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.20 MB

english, 1989

13

van Benthem Johan. A manual of intensional logic. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1985, also distributed by the University of Chicago Press, 74 pp.van Benthem Johan. A manual of intensional logic. Revised and expanded second edition. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1988, also distributed by the University of Chicago Press, ix + 135 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 253 KB

english, 1989

14

Börger Egon. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Rödding Dieter. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden 1985, xvii + 469 pp.Börger Egon. Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. Edited by Rodding Dieter. Second corrected edition of the preceding. Friedr. Vieweg & Sohn, Brunswick and Wiesbaden 1986, xvii + 469 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 525 KB

english, 1989

15

On hyper-torre isols

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 565 KB

english, 1989

16

Algorithmic information theory

van Lambalgen, Michiel

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 903 KB

english, 1989

17

The Roots of Contemporary Platonism

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 502 KB

english, 1989

18

Meixner Uwe. Handlung, Zeit, Notwendigkeit. Erne ontologisch-semantische Untersuchung. Grundlagen der Kommunikation. Walter de Gruyter, Berlin et New York 1987, xviii + 234 p.

Gardies, Jean-Louis

Journal:

Journal of Symbolic Logic

Year:

1989

File:

PDF, 248 KB

1989

19

JSL volume 54 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 16.44 MB

english, 1989

20

Poizat Bruno. Groupes stables. Une tentative de conciliation entre la géométric algébrique et la logique mathématique. Nur al-Mantiq wal-Ma'rifah, Villeurbanne 1987, vi + 215 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 429 KB

english, 1989

21

Donder Hans-Dieter and Koepke Peter. On the consistency strength of ‘accessible’ Jonsson cardinals and of the weak Chang conjecture. Annals of pure and applied logic, vol. 25 (1983), pp. 233–261.Koepke Peter. Some applications of short core models. Annals of pure and applied logic, vol. 37 (1988), pp. 179–204.

Friedman, Sy D.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 322 KB

english, 1989

22

Errata

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 186 KB

english, 1989

23

Notices

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 256 KB

english, 1989

24

A proof of morley's conjecture

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 863 KB

english, 1989

25

The number of pairwise non-elementarily-embeddable models

Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.44 MB

english, 1989

26

Harel David. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604.

Zuck, Lenore D.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.19 MB

english, 1989

27

Girard Jean-Yves. Proof theory and logical complexity. Volume I. Studies in proof theory, no. 1. Bibliopolis, Naples 1987, also distributed by Humanities Press, Atlantic Highlands, N.J., 503 pp.

Pfeiffer, Helmut

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 331 KB

english, 1989

28

Descriptive set theory over hyperfinite sets

Keisler, H. Jerome, Kunen, Kenneth, Miller, Arnold, Leth, Steven

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 969 KB

english, 1989

29

Wang Hao. Beyond analytic philosophy. Doing justice to what we know. Bradford books. The MIT Press, Cambridge, Mass., and London, 1986, xii + 273 pp.

Resnik, Michael D.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 330 KB

english, 1989

30

Authors of Reviews

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 205 KB

english, 1989

31

Woleński Jan. Filozoficzna szkoia Iwowsko-warszawska (The Lwów-Warsaw school of philosophy). Państwowe Wydawnictwo Naukowe, Warsaw 1985, 348 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

File:

PDF, 415 KB

1989

32

Large resplendent models generated by indiscernibles

Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 563 KB

english, 1989

33

Leblanc Hugues. Alternatives to standard first-order semantics. Handbook of philosophical logic, Volume I, Elements of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 164, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, pp. 189–274.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 329 KB

english, 1989

34

Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion

Jockusch, C. G., Lerman, M., Soare, R. I., Solovay, R. M.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 2.33 MB

english, 1989

35

The consistency problem for positive comprehension principles

Forti, M., Hinnion, R.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.06 MB

english, 1989

36

Index of reviews

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 511 KB

english, 1989

37

The roots of contemporary Platonism

Maddy, Penelope

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.57 MB

english, 1989

38

Association for symbolic logic

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 2.56 MB

english, 1989

39

Some restrictions on simple fixed points of the integers

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.23 MB

english, 1989

40

Tennant Neil. Anti-realism and logic. Truth as eternal. Clarendon library of logic and philosophy. Clarendon Press, Oxford University Press, Oxford and New York 1987, xii + 325 pp.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 332 KB

english, 1989

41

Near-equational and equational systems of logic for partial functions. II

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.92 MB

english, 1989

42

JSL volume 54 issue 4 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 10.48 MB

english, 1989

43

The classification of excellent classes

Grossberg, R., Hart, B.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.35 MB

english, 1989

44

The formal language of recursion

Moschovakis, Yiannis N.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.93 MB

english, 1989

45

Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.88 MB

english, 1989

46

Nute Donald. Conditional logic. Handbook of philosophical logic, Volume II, Extensions of classical logic, edited by Gabbay D. and Guenthner F., Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 387–439.

Cross, Charles B.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 1.19 MB

english, 1989

47

Fifth Southeastern Logic Symposium, Charlotte, North Carolina, 1989

Epstein, George

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 203 KB

english, 1989

48

Large Resplendent Models Generated by Indiscernibles

Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 207 KB

english, 1989

49

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 102 KB

english, 1989

50

Near-Equational and Equational Systems of Logic for Partial Functions. II

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 684 KB

english, 1989

51

Coding Over a Measurable Cardinal

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 415 KB

english, 1989

52

The Consistency Problem for Positive Comprehension Principles

M. Forti and R. Hinnion

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 425 KB

english, 1989

53

The Number of Pairwise Non-Elementary-Embeddable Models

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 586 KB

english, 1989

54

The Lwów-Warsaw School of Philosophy.by Jan Woleński

Review by: John Bednarz, Jr.

Journal:

Journal of Symbolic Logic

Year:

1989

File:

PDF, 151 KB

1989

55

Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion

C. G. Jockusch, Jr., M. Lerman, R. I. Soare and R. M. Solovay

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 809 KB

english, 1989

56

Fifth Southeastern Logic Symposium

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 98 KB

english, 1989

57

Algorithmic Information Theory

Michiel van Lambalgen

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 340 KB

english, 1989

58

A General Treatment of Equivalent Modalities

Fabio Bellissima and Massimo Mirolli

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 296 KB

english, 1989

59

The Classification of Excellent Classes

R. Grossberg and B. Hart

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 512 KB

english, 1989

60

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 180 KB

english, 1989

61

The Formal Language of Recursion

Yiannis N. Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 720 KB

english, 1989

62

Anti-realism and Logic. Truth as Eternalby Neil Tennant

Review by: W. D. Hart

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 126 KB

english, 1989

63

Beyond Analytic Philosophy. Doing Justice to What we Knowby Hao Wang

Review by: Michael D. Resnik

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 127 KB

english, 1989

64

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 856 KB

english, 1989

65

Conditional Logicby Donald Nute

Review by: Charles B. Cross

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 151 KB

english, 1989

66

Interpolation in Fragments of Intuitionistic Propositional Logic

Gerard R. Renardel de Lavalette

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 293 KB

english, 1989

67

Deontic Logicby Lennart Åqvist

Review by: David Makinson

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 154 KB

english, 1989

68

Index of Reviews

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 195 KB

english, 1989

69

On the Consistency Strength of `Accessible' Jonsson Cardinals and of the Weak Chang Conjectureby Hans-Dieter Donder; Peter Koepke;Some Applications of Short Core Modelsby Peter Koepke

Review by: Sy D. Friedman

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 139 KB

english, 1989

70

The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic

Harvey Friedman and Michael Sheard

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 147 KB

english, 1989

71

A Manual of Intensional Logicby Johan van Benthem

Review by: R. A. Bull

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 106 KB

english, 1989

72

A Proof of Morley's Conjecture

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 320 KB

english, 1989

73

Some Restrictions on Simple Fixed Points of the Integers

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 475 KB

english, 1989

74

Berechenbarkeit, Komplexität, Logik. Eine Einführung in Algorithmen, Sprachen und Kalküle unter Besonderer Berücksichtigung ihrer Komplexität.by Egon Börger; Dieter Rödding

Review by: Dirk Siefkes

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 175 KB

english, 1989

75

Authors of Reviews

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 98 KB

english, 1989

76

Notices

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 114 KB

english, 1989

77

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 126 KB

english, 1989

78

Groupes Stables. Une Tentative de Conciliation Entre la Géométrie Algébrique et la Logique Mathématique.by Bruno Poizat

Review by: James Loveys

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 210 KB

english, 1989

79

On Hyper-Torre Isols

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 280 KB

english, 1989

80

Dynamic Logicby David Harel

Review by: Lenore D. Zuck

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 184 KB

english, 1989

81

Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 851 KB

english, 1989

82

Extensions of Classical Logicby Robert Bull; Krister Segerberg; D. Gabbay; F. Guenthner

Review by: Steven T. Kuhn

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 279 KB

english, 1989

83

Errata

Journal:

Journal of Symbolic Logic

Year:

1989

Language:

english

File:

PDF, 147 KB

english, 1989