12 results
John Etchemendy. The concept of logical consequence. An unaltered republication of JSL LVII 254. The David Hume series of philosophy and cognitive science reissues. Center for the Study of Language and Information, Stanford 1999, also distributed by Cambridge University Press, New York, vii + 174 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 379-380
- Print publication:
- September 2001
-
- Article
- Export citation
Logic, logic, and logic, by George Boolos, with introductions and afterword by John P. Burgess, edited by Richard Jeffrey, Harvard University Press, Cambridge, Mass., and London, 1998, ix + 443 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 58-62
- Print publication:
- March 2001
-
- Article
- Export citation
‘Everything’
-
-
- Book:
- Between Logic and Intuition
- Published online:
- 02 December 2009
- Print publication:
- 28 March 2000, pp 54-78
-
- Chapter
- Export citation
The complexity of the modal predicate logic of “true in every transitive model of ZF”
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1371-1378
- Print publication:
- December 1997
-
- Article
- Export citation
“Kilimanjaro”1
-
- Journal:
- Canadian Journal of Philosophy Supplementary Volume / Volume 23 / 1997
- Published online by Cambridge University Press:
- 01 January 2020, pp. 141-163
- Print publication:
- 1997
-
- Article
- Export citation
On the degrees of unsolvability of modal predicate logics of provability
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 1 / March 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 253-261
- Print publication:
- March 1994
-
- Article
- Export citation
Igal Kvart. A Theory of Counter/actuals. Indianapolis: Hackett (1986), xxviii + 283 pp., $35.00 (cloth), $19.50 (paper), $14.50 (professional price).
-
- Journal:
- Philosophy of Science / Volume 60 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 01 April 2022, pp. 518-519
- Print publication:
- September 1993
-
- Article
- Export citation
James Van Aken. Axioms for the set-theoretic hierarchy. The journal of symbolic logic, vol. 51 (1986), pp. 992–1004. - Stephen Pollard. More axioms for the set-theoretic hierarchy. Logique et analyse, n.s. vol. 31 (1988), pp. 85–88. - Michael D. Potter. Sets. An introduction. Clarendon Press, Oxford University Press, Oxford and New York1990, xi + 241 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1077-1078
- Print publication:
- September 1993
-
- Article
- Export citation
John Etchemendy. The concept of logical consequence. Harvard University Press, Cambridge, Mass., and London, 1990, vii + 174 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 254-255
- Print publication:
- March 1992
-
- Article
- Export citation
S. N. Artemov. Arithmetically complete modal theories. Six papers in logic, American Mathematical Society translations, ser. 2 vol. 135, American Mathematical Society, Providence1987, pp. 39–54. (English translation by B. M. Schein of Arifmeticheski polnye modal'nye teorii, Semiotika i informatika (Moscow), vol. 14 (for 1979, pub. 1980), pp. 115–133.) - S. N. Artemov. On modal logics axiomatizing provability. Mathematics of the USSR—Izvestiya, vol. 27 no. 3 (for 1986, pub. 1987), pp. 401–429. (English translation by E. Mendelson of O modal'nykh logikakh, aksiomatiziruyushchikh dokazuemost', Izvestiya Akademii Nauk SSSR, Seriya matematicheskaya, vol. 49 (1985), pp. 1123–1154.) - S. N. Artemov. Nonarithmeticity of truth predicate logics of provability. Soviet mathematics—Doklady, vol. 32 (for 1985, pub. 1986), pp. 403–405. (English translation by E. Mendelson of Nearifmetichnost' istinnostnykh predikatnykh logik dokazuemosti, Doklady Academii Nauk SSSR, vol. 284 (1985), pp. 270–271.) - V. A. Vardanyan. Arithmetic complexity of predicate logics of provability and their fragments. Soviet mathematics—Doklady, vol. 33 no. 3 (for 1986, pub. 1987), pp. 569–572. (English translation by E. Mendelson of Arifmeticheskaya slozhnost' predikatnykh logik dokazuemosti i ikh fragmentov, Doklady Akademii Nauk SSSR, vol. 288 (1986), pp. 11–14.) - S. N. Artemov. Numerically correct provability logics. Soviet mathematics—Doklady, vol. 34 (1987), pp. 384–387. (English translation by E. Mendelson of Numericheski korrektnye logiki dokazuemosti, Doklady Akademii Nauk SSSR, vol. 290 (1986), pp. 1289–1292.)
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 329-332
- Print publication:
- March 1991
-
- Article
- Export citation
Logic and linguistics meeting
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, p. 446
- Print publication:
- March 1990
-
- Article
- Export citation
The degree of the set of sentences of predicate provability logic that are true under every interpretation1
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 1 / March 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-171
- Print publication:
- March 1987
-
- Article
- Export citation