27 results
FIRST-ORDER FRIENDLINESS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 07 June 2023, pp. 1-15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Development of a clean hot water drill to access Subglacial Lake CECs, West Antarctica
-
- Journal:
- Annals of Glaciology / Volume 62 / Issue 85-86 / September 2021
- Published online by Cambridge University Press:
- 25 January 2021, pp. 250-262
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
An assessment of deep hot-water drilling as a means to undertake direct measurement and sampling of Antarctic subglacial lakes: experience and lessons learned from the Lake Ellsworth field season 2012/13
-
- Journal:
- Annals of Glaciology / Volume 55 / Issue 65 / 2014
- Published online by Cambridge University Press:
- 26 July 2017, pp. 59-73
-
- Article
-
- You have access
- HTML
- Export citation
Parallel interpolation, splitting, and relevance in belief change
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 994-1002
- Print publication:
- September 2007
-
- Article
- Export citation
Lennart Åqvist. Deontic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 605–714.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1481-1483
- Print publication:
- December 1989
-
- Article
- Export citation
Fred Feldman. Doing the best we can. An essay in informal deontic logic. Philosophical studies series in philosophy, vol. 35. D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, and Tokyo, 1986, xiv + 244 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1050-1051
- Print publication:
- December 1987
-
- Article
- Export citation
On the logic of theory change: Partial meet contraction and revision functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 2 / June 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 510-530
- Print publication:
- June 1985
-
- Article
- Export citation
Nicholas Rescher and Robert Brandom. The logic of inconsistency. A study in non-standard possible-world semantics and ontology. APQ library of philosophy. Basil Blackwell, Oxford, and Rowman and Littlefield, Totowa, N.J., © 1979, pub. 1980, x + 174 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-236
- Print publication:
- March 1982
-
- Article
- Export citation
Brian F. Chellas. Modal logic. An introduction. Cambridge University Press, Cambridge etc. 1980, xii + 295 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 670-672
- Print publication:
- September 1981
-
- Article
- Export citation
Arthur Pap. Logic and the concept of entailment. The journal of philosophy, vol. 47 (1950), pp. 378–387.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1975
-
- Article
- Export citation
Alan Rose. Extensions of some theorems of Anderson and Belnap. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 423–425.
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- September 1975
-
- Article
- Export citation
Charles F. Kielkopf. Kripke's axiomatization of S2. Notre Dame journal of formal logic, vol. 13 (1972), pp. 379–380.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 661
- Print publication:
- December 1973
-
- Article
- Export citation
Ralph C. Applebee and Biswambhar Pahi. Some results on generalized truth-tables. Notre Dame journal of formal logic, vol. 12 (1971), pp. 435–440.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 521
- Print publication:
- September 1973
-
- Article
- Export citation
Rolf George. Enthymematic consequence. American philosophical quarterly, vol. 9 (1972), pp. 113–116.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 325
- Print publication:
- June 1973
-
- Article
- Export citation
Jean Drabbe. Les S4-algèbres finies. Comptes rendus hehdomadaires des séances de l'Académic des Sciences, sér. A vol. 265 (1967), p. 309.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 330
- Print publication:
- June 1973
-
- Article
- Export citation
Gerald J. Massey. Four simple systems of modal propositional logic. Philosophy of science, vol. 32 (1965), pp. 342–355.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 4 / December 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 754
- Print publication:
- December 1972
-
- Article
- Export citation
Ian Hacking. What is strict implication?The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 51–71.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
- Print publication:
- June 1972
-
- Article
- Export citation
Jean E. Rubin. Bi-modal logic, double-closure algebras, and Hilbert space. Zeitsckrift für matkematische Logik und Grundlagen der Mathematik, vol. 8 (1962) pp. 305–322.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 184
- Print publication:
- March 1972
-
- Article
- Export citation
M. H. Löb. Extensional interpretations of modal logics. The journal of symbolic logic, vol. 31 (1966), pp. 23–45.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 692
- Print publication:
- December 1971
-
- Article
- Export citation
F. R. Drake. On McKinsey's syntactical characterizations of systems of modal logic. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 400–406.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 691-692
- Print publication:
- December 1971
-
- Article
- Export citation