Volume 53; Issue 2

Main
Journal of Symbolic Logic
Volume 53; Issue 2

Journal of Symbolic Logic

Volume 53; Issue 2

1

Decidable Discrete Linear Orders

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 231 KB

english, 1988

2

Partial Realizations of Hilbert's Program

Stephen G. Simpson

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 335 KB

english, 1988

3

Believing the Axioms. I

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 648 KB

english, 1988

4

Existentially Closed Algebras and Boolean Products

Herbert H. J. Riedel

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 556 KB

english, 1988

5

Numbers in Presence and Absence: A Study of Husserl's Philosophy of Mathematicsby J. Philip Miller;Husserls Philosophie der Mathematik. Platonistische und Konstruktivistische Momente in Husserls Mathematikbegriffby Roger Schmit

Review by: Robert Tragesser

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 126 KB

english, 1988

6

Mathematics: Form and Functionby Saunders Mac Lane

Review by: Penelope Maddy

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 132 KB

english, 1988

7

What Awareness Isn't: A Sentential View of Implicit and Explicit Beliefby Kurt Konolige

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 109 KB

english, 1988

8

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 128 KB

english, 1988

9

Artificial Intelligence: The Very Ideaby John Haugeland

Review by: Ira Pohl

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 106 KB

english, 1988

10

Der Formalismus und seine Grenzen. Untersuchungen zur Neueren Philosophie der Mathematikby Rosemarie Rheinwald;Is Mathematical Knowledge Just Logical Knowledge?by Hartry Field

Review by: Steven J. Wagner

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 108 KB

english, 1988

11

Towards a Theory of Information, The Status of Partial Objects in Semantics.

Fenstad, Jens Erik, Langholm, Tore, Landman, Fred

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 106 KB

english, 1988

12

Knowing Who.

Soames, Scott, Boer, Steven E., Lycan, William G.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 152 KB

english, 1988

13

Rosenschein Stanley J. and Kaelbling Leslie Pack. The synthesis of digital machines with provable epistemic properties. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 83–98.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

14

On Play by Means of Computing Machines (Preliminary Version).; A Theory of Higher Order Probabilities.; Knowledge and Efficient Computation.; Realizability Semantics for Error-Tolerant Logics (Preliminary Version).;

Rapaport, William J., Megiddo, Nimrod, Wigderson, Avi, Gaifman, Haim, Micali, Silvio, Mitchell, John C., O'Donnell, Michael J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 117 KB

english, 1988

15

Smullyan Raymond M.. Logicians who reason about themselves. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 341–352.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

16

Towards a theory of information, The status of partial objects in semantics, by Landman Fred, Groningen-Amsterdam studies in semantics, no. 6, Foris Publications, Dordrecht and Riverton, N.J., 1986, xiv + 228 pp.

Fenstad, Jens Erik, Langholm, Tore

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 346 KB

english, 1988

17

-sets of reals

Ihoda, Jaime I.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 510 KB

english, 1988

18

Hintikka Jaakko. Reasoning about knowledge in philosophy: the paradigm of epistemic logic. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 63–80.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

19

On infinite series of infinite isols

Barback, Joseph

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.21 MB

english, 1988

20

Thomason Richmond H.. Paradoxes and semantic representation. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 225–239.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

21

Partial realizations of Hilbert's program

Simpson, Stephen G.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.16 MB

english, 1988

22

Believing the axioms. I

Maddy, Penelope

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 2.06 MB

english, 1988

23

Notices

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 286 KB

english, 1988

24

JSL volume 53 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 6.58 MB

english, 1988

25

Splitting P κλ into stationary subsets

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 442 KB

english, 1988

26

Asher Nicholas M. and Kamp Johan A. W.. The knower's paradox and representational theories of attitudes. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 131–147.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

27

Strong measure zero sets and rapid filters

Ihoda, Jaime I.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 706 KB

english, 1988

28

Vardi Moshe Y.. On epistemic logic and logical omniscience. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 293–305.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.06 MB

english, 1988

29

Addendum to “The truth is never simple”

Burgess, John P.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 265 KB

english, 1988

30

Lane Saunders Mac. Mathematics: form and function. Springer-Verlag, New York, Berlin, Heidelberg, and Tokyo, 1986, xi + 476 pp.

Maddy, Penelope

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 395 KB

english, 1988

31

Hilbert's program relativized; Proof-theoretical and foundational reductions

Feferman, Solomon

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.32 MB

english, 1988

32

Lakemeyer Gerhard. Steps towards a first-order logic of explicit and implicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 325–340.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

33

Geissler Christophe and Konolige Kurt. A resolution method for quantified modal logics of knowledge and belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 309–324.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

34

Halpern Joseph Y.. Reasoning about knowledge: an overview. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 1–17.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

35

Some filters of partitions

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.01 MB

english, 1988

36

Henkin Leon, Monk J. Donald, and Tarski Alfred. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.

Maddux, Roger D.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 415 KB

english, 1988

37

Megiddo Nimrod and Wigderson Avi. On play by means of computing machines (preliminary version). Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 259–274.Gaifman Haim. A theory of higher order probabilities. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 275–292.Micali Silvio. Knowledge and efficient computation. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 353–362.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

38

Konolige Kurt. What awareness isn't: a sentential view of implicit and explicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 241–250.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

39

A proofless proof of the Barwise compactness theorem

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 480 KB

english, 1988

40

Rivières Jim Des and Levesque Hector J.. The consistency of syntactical treatments of knowledge. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 115–130.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

41

Uniqueness, definability and interpolation

Došen, Kosta, Schroeder-Heister, Peter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

42

Miller J. Philip. Numbers in presence and absence: a study of Husserl's philosophy of mathematics. Phaenomenologica, no. 90. Martinus Nijhoff Publishers, The Hague, Boston, and London, 1982, x + 147 pp.Schmit Roger. Husserls Philosophie der Mathematik. Platonistische und konstruktimstische Momente in Husserls Mathematikbegriff. Conscientia, vol. 10. Bouvier Verlag Herbert Grundmann, Bonn 1981, 159 pp.

Tragesser, Robert

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 423 KB

english, 1988

43

JSL volume 53 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 3.61 MB

english, 1988

44

Complete local rings as domains

Stoltenberg-Hansen, V., Tucker, J. V.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.34 MB

english, 1988

45

Smith Brian Cantwell. Varieties of self-reference. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 19–43.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

46

Ladner Richard E. and Reif John H.. The logic of distributed protocols (preliminary report). Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 207–222.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

47

Hilbert's program sixty years later

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 867 KB

english, 1988

48

Algebraic extensions in nonstandard models and Hilbert's irreducibility theorem

Yasumoto, Masahiro

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 740 KB

english, 1988

49

Extensions séparées et immédiates de corps valués

Delon, Françoise

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 648 KB

1988

50

Dwork Cynthia and Moses Yoram. Knowledge and common knowledge in a Byzantine environment I: crash failures. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 149–169.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

51

The classification of small weakly minimal sets. II

Buechler, Steven

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 830 KB

english, 1988

52

Morgenstern Leora. A first order theory of planning, knowledge, and action. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 99–114.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

53

Martins João P. and Shapiro Stuart C.. Theoretical foundations for belief revision. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 383–398.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

54

A Symposium on Hilbert's Program

Hodges, Wilfrid, Sieg, Wilfried

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 181 KB

english, 1988

55

Decidable discrete linear orders

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 674 KB

english, 1988

56

Des belles paires aux beaux uples

Bouscaren, Elisabeth, Poizat, Bruno

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 702 KB

1988

57

Fagin Ronald and Vardi Moshe Y.. Knowledge and implicit knowledge in a distributed environment: preliminary report. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 187–206.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

58

Where MA first fails

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 475 KB

english, 1988

59

Laugwitz Detlef. Zahlen und Kontinuum. Eine Einführung in die Infinitesimalmathematik. Lehrbücher und Monographien zur Didaktik der Mathematik, Bd. 5. Bibliographisches Institut, Mannheim, Wien, und Zürich, 1986, 269 S.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 331 KB

english, 1988

60

Zalta Edward N.. Abstract objects. An introduction to axiomatic metaphysics. Synthese library, vol. 160. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, xiii + 193 pp.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 232 KB

english, 1988

61

Existentially closed algebras and boolean products

Riedel, Herbert H. J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.55 MB

english, 1988

62

Finite and finitely separable intermediate propositional logics

Bellissima, Fabio

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1009 KB

english, 1988

63

Uncountable theories that are categorical in a higher power

Laskowski, Michael Chris

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.15 MB

english, 1988

64

Haugeland John. Artificial intelligence: the very idea. Bradford books. The MIT Press, Cambridge, Mass., and London, 1985, ix + 289 pp.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 328 KB

english, 1988

65

Garden Rachel Wallace. Modern logic and quantum mechanics. Adam Hilger, Bristol 1984, also distributed by Heyden & Son, Philadelphia, xi + 177 pp.

Urquhart, Alasdair

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 331 KB

english, 1988

66

Bunt Harry C.. Mass terms and model-theoretic semantics. Cambridge studies in linguistics, no. 42. Cambridge University Press, Cambridge etc. 1985, xiii + 325 pp.

Bricker, Phillip

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 504 KB

english, 1988

67

Plotkin Gordon and Stirling Colin. A framework for intuitionistic modal logics. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 399–406.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

68

Rheinwald Rosemarie. Der Formalismus und seine Grenzen. Untersuchungen zur neueren Philosophic der Mathematik. Philosophic—Analyse und Grundlegung, vol. 11. Hain, Königstein 1984, 204 pp.Field Hartry. IS mathematical knowledge just logical knowledge? The philosophical review, vol. 93 (1984), pp. 509–552.

Wagner, Steven J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 330 KB

english, 1988

69

Fremlin D. H.. Consequences of Martin's axiom. Cambridge tracts in mathematics, no. 84. Cambridge University Press, Cambridge etc. 1984, xii + 325 pp.

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 333 KB

1988

70

Boër Steven E. and Lycan William G.. Knowing who. Bradford books. The MIT Press, Cambridge, Mass., and London, 1986, xiv + 212 pp.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 421 KB

english, 1988

71

Landman Fred. Pegs and alecs. An abridged version of LIII 656. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Halpern Joseph Y., Morgan Kaufmann Publishers, Los Altos 1986, pp. 45–61.

Rapaport, William J.

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 1.05 MB

english, 1988

72

The Classification of Small Weakly Minimal Sets. II

Steven Buechler

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 325 KB

english, 1988

73

Strong Measure Zero Sets and Rapid Filters

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 298 KB

english, 1988

74

Zahlen und Kontinuum. Eine Einfuhrung in die Infinitesimalmathematikby Detlef Laugwitz

Review by: H. Osswald

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 125 KB

english, 1988

75

Uncountable Theories that are Categorical in a Higher Power

Michael Chris Laskowski

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 465 KB

english, 1988

76

A Framework for Intuitionistic Modal Logicsby Gordon Plotkin; Colin Stirling

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 103 KB

english, 1988

77

Some Filters of Partitions

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 405 KB

english, 1988

78

Cylindric Algebras. Part IIby Leon Henkin; J. Donald Monk; Alfred Tarski

Review by: Roger D. Maddux

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 154 KB

english, 1988

79

Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Reportby Ronald Fagin; Moshe Y. Vardi

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 101 KB

english, 1988

80

Abstract Objects. An Introduction to Axiomatic Metaphysicsby Edward N. Zalta

Review by: Michael Byrd

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 102 KB

english, 1988

81

Addendum to "The Truth is Never Simple"

John P. Burgess

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 128 KB

english, 1988

82

Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failuresby Cynthia Dwork; Yoram Moses

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 121 KB

english, 1988

83

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 118 KB

english, 1988

84

Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logicby Jaakko Hintikka

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 143 KB

english, 1988

85

Uniqueness, Definability and Interpolation

Kosta Došen and Peter Schroeder-Heister

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 403 KB

english, 1988

86

The Consistency of Syntactical Treatments of Knowledgeby Jim des Rivières; Hector J. Levesque

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 148 KB

english, 1988

87

A Symposium on Hilbert's Program

Wilfrid Hodges and Wilfried Sieg

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 96 KB

english, 1988

88

A Resolution Method for Quantified Modal Logics of Knowledge and Beliefby Christophe Geissler; Kurt Konolige

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 112 KB

english, 1988

89

Σ12-Sets of Reals

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 228 KB

english, 1988

90

Splitting Pκλ into Stationary Subsets

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 193 KB

english, 1988

91

The Knower's Paradox and Representational Theories of Attitudesby Nicholas M. Asher; Johan A. W. Kamp

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 121 KB

english, 1988

92

A First Order Theory of Planning, Knowledge, and Actionby Leora Morgenstern

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 142 KB

english, 1988

93

Extensions Séparées et Immédiates de Corps Valués

Françoise Delon

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 255 KB

1988

94

Hilbert's Program Sixty Years Later

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 350 KB

english, 1988

95

Logicians who Reason about Themselvesby Raymond M. Smullyan

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 139 KB

english, 1988

96

Reasoning About Knowledge: An Overviewby Joseph Y. Halpern

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 138 KB

english, 1988

97

Finite and Finitely Separable Intermediate Propositional Logics

Fabio Bellissima

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 481 KB

english, 1988

98

Mass Terms and Model-Theoretic Semanticsby Harry C. Bunt

Review by: Phillip Bricker

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 182 KB

english, 1988

99

Algebraic Extensions in Nonstandard Models and Hilbert's Irreducibility Theorem

Masahiro Yasumoto

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 309 KB

english, 1988

100

A Proofless Proof of the Barwise Compactness Theorem

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 207 KB

english, 1988

101

Consequences of Martin's Axiomby D. H. Fremlin

Review by: William Weiss

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 134 KB

1988

102

The Synthesis of Digital Machines with Provable Epistemic Propertiesby Stanley J. Rosenschein; Leslie Pack Kaelbling

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 115 KB

english, 1988

103

On Infinite Series of Infinite Isols

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 453 KB

english, 1988

104

The Logic of Distributed Protocols (Preliminary Report)by Richard E. Ladner; John H. Reif

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 109 KB

english, 1988

105

Pegs and Alecsby Fred Landman

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 143 KB

english, 1988

106

On Epistemic Logic and Logical Omniscienceby Moshe Y. Vardi

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 112 KB

english, 1988

107

Steps Towards a First-Order Logic of Explicit and Implicit Beliefby Gerhard Lakemeyer

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 112 KB

english, 1988

108

Notices

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 123 KB

english, 1988

109

Modern Logic and Quantum Mechanicsby Rachel Wallace Garden

Review by: Alasdair Urquhart

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 134 KB

english, 1988

110

Where Ma First Fails

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 258 KB

english, 1988

111

Complete Local Rings as Domains

V. Stoltenberg-Hansen and J. V. Tucker

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 620 KB

english, 1988

112

Quantifier Elimination in Separably Closed Fields of Finite Imperfectness Degree

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 291 KB

english, 1988

113

Quantifier elimination in separably closed fields of finite imperfectness degree

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 368 KB

english, 1988

114

Paradoxes and Semantic Representationby Richmond H. Thomason

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 162 KB

english, 1988

115

Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions

Solomon Feferman

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 616 KB

english, 1988

116

Varieties of Self-Referenceby Brian Cantwell Smith

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 197 KB

english, 1988

117

Theoretical Foundations for Belief Revisionby João P. Martins; Stuart C. Shapiro

Review by: William J. Rapaport

Journal:

Journal of Symbolic Logic

Year:

1988

Language:

english

File:

PDF, 164 KB

english, 1988

118

Des Belles Paires aux Beaux Uples

Elisabeth Bouscaren and Bruno Poizat

Journal:

Journal of Symbolic Logic

Year:

1988

File:

PDF, 330 KB

1988