Popkorn Sally . First steps in modal logic. Cambridge University Press, Cambridge 1994, and New York and Oakleigh, Victoria, 1995, xiii + 314 pp

Rajeev Goré

doi:10.2307/2275803

Popkorn Sally . First steps in modal logic. Cambridge University Press, Cambridge 1994, and New York and Oakleigh, Victoria, 1995, xiii + 314 pp [Book Review]

Journal of Symbolic Logic 61 (3):1055-1056 (1996)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic (categorize this paper)
DOI	10.2307/2275803
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 71,355

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

J.-J. Ch. Meyer and W. Van Der Hoek. Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, No. 41. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, Xiii + 354 Pp. [REVIEW]Rineke Verbrugoe - 1999 - Journal of Symbolic Logic 64 (4):1837-1840.

Shin Sun-Joo. The Logical Status of Diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 , Xi + 197 Pp. [REVIEW]Eric M. Hammer - 1996 - Journal of Symbolic Logic 61 (1):341-342.

Krajíček Jan. Bounded Arithmetic, Propositional Logic, and Complexity Theory. Encyclopedia of Mathematics and its Applications, Vol. 60. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, Xiv + 343 Pp. [REVIEW]P. Clote - 1999 - Journal of Symbolic Logic 64 (3):1357-1362.

Azzouni Jody. Metaphysical Myths, Mathematical Practice. The Ontology and Epistemology of the Exact Sciences. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, Ix + 249 Pp. [REVIEW]Mark Balaguer - 1995 - Journal of Symbolic Logic 60 (4):1312-1314.

Probability and Conditionals, Belief Revision and Rational Decision, Edited by Eells Ellery and Skyrms Brian, Cambridge Studies in Probability, Induction, and Decision Theory, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1994, Viii+ 207 Pp. [REVIEW]Robert C. Koons - 1997 - Journal of Symbolic Logic 62 (1):330-335.

Manzano María. Extensions of First Order Logic. Cambridge Tracts in Theoretical Computer Science, No. 19. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, Xxii + 388 Pp. [REVIEW]Yde Venema - 1998 - Journal of Symbolic Logic 63 (3):1194-1196.

A. S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Cambridge Tracts in Theoretical Computer Science, No. 43. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, Xi + 343 Pp. [REVIEW]Roy Dyckhoff - 1998 - Journal of Symbolic Logic 63 (4):1605-1606.

Advances in Linear Logic, Edited by Jean-Yves Girard, Yves Lafont, and Laurent Regnier, London Mathematical Society Lecture Note Series, No. 222, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995, Vii + 389 Pp. [REVIEW]Dale Miller - 1997 - Journal of Symbolic Logic 62 (2):678-680.

Jon Barwise and Jerry Seligman. Information Flow. The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science, No. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, Xv + 274 Pp. [REVIEW]Maarten De Rijke - 1999 - Journal of Symbolic Logic 64 (4):1836-1836.

Hindley J. Roger. Basic Simple Type Theory. Cambridge Tracts in Theoretical Computer Science, No. 42. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, Xi + 186 Pp. [REVIEW]Anton Setzer - 1999 - Journal of Symbolic Logic 64 (4):1832-1833.

Nicholas Pippenger, Theories of Computability. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, Ix + 251 Pp. [REVIEW]Hans Hüttel - 1999 - Journal of Symbolic Logic 64 (2):913-914.

Jaakko Hintikka. The Principles of Mathematics Revisited. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, Xii + 288 Pp. [REVIEW]Harold Hodes - 1998 - Journal of Symbolic Logic 63 (4):1615-1623.

The Civil War and its Aftermath.Tim Harris - 1996 - The European Legacy 1 (8):2284-2289.

Carl Wolfgang. Frege's Theory of Sense and Reference. Its Origins and Scope. Modern European Philosophy. Cambridge University Press, Cambridge, Neuyork, Und Oakleigh, Victoria, 1994, Viii + 220 S. [REVIEW]Gottfried Gabriel - 1996 - Journal of Symbolic Logic 61 (2):689-691.

Krzysztof Ciesielski. Set Theory for the Working Mathematician. London Mathematical Society Student Texts, No. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, Xi + 236 Pp. [REVIEW]Winfried Just - 1998 - Journal of Symbolic Logic 63 (3):1193-1194.

Analytics

Added to PP index
2016-06-30

Total views
14 ( #735,225 of 2,519,631 )

Recent downloads (6 months)
1 ( #406,756 of 2,519,631 )

How can I increase my downloads?

Downloads