Peter D. Mosses, Action Semantics [Book Review]

Journal of Logic and Computation 3 (4):442-444 (1993)
  Copy   BIBTEX

Abstract

This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Gregory J. Chaitin, Algorithmic information theory, Cambridge tracts in theoretical computer science, no. 1. Cambridge University Press, Cambridge etc. 1987, xi + 175 pp. [REVIEW]Peter Gacs - 1989 - Journal of Symbolic Logic 54 (2):624-627.
Biomonitoring of Heavy Metal Air Pollution in Warsaw Using Two Moss Species Pleurozium schreberi and Sphagnum palustre.Krassimira Ilieva-Makulec, Paweł Dariusz Plichta & Maciej Sierakowski - 2022 - Studia Ecologiae Et Bioethicae 19 (4).
Complexity in practice.Peter J. Bowler - 2011 - British Journal for the History of Science 44 (2):275-280.
Action, Knowledge, and Will By John Hyman. [REVIEW]Robin McKenna - 2017 - Analysis 77 (3):667-670.
OLD ST PETER'S - Mckitterick, Osborne, Richardson, Story Old Saint Peter's, Rome. British School at Rome Studies. Pp. xxx + 484, b/w & colour ills. Cambridge: Cambridge University Press, 2013. Cased, £100, US$160. ISBN: 978-1-107-04164-6. [REVIEW]Richard Westall - 2014 - The Classical Review 64 (2):555-557.
Peter Robertson, Beyond Southern Skies: Radio Astronomy and the Parkes Telescope. Cambridge, New York and Melbourne: Cambridge University Press, 1992. Pp. xi + 357. ISBN 0-521-41408-3. £40.00. [REVIEW]Jon Agar - 1994 - British Journal for the History of Science 27 (1):124-125.
Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.
Theories of Theories of Mind Peter Carruthers and Peter K. Smith, editors Cambridge: Cambridge University Press, 1996, xv + 390 pp., $54.95, $19.95 paper. [REVIEW]Magne Dybvig - 1999 - Dialogue 38 (3):642-.
Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp. [REVIEW]Kamal Lodaya - 2017 - Bulletin of Symbolic Logic 23 (2):203-204.
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.
Marianne Winslett. Updating logical databases, Cambridge tracts in theoretical computer science, no. 9. Cambridge University Press, Cambridge etc. 1990, ix + 211 pp. [REVIEW]Urs-Martin Künzi - 1994 - Journal of Symbolic Logic 59 (3):1110-1111.
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.
Ramsay Allan. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp. [REVIEW]Francis Jeffry Pelletier - 1996 - Journal of Symbolic Logic 61 (1):347-351.
Peter Harrison . The Cambridge Companion to Science and Religion. xi + 307 pp., bibls., index. Cambridge: Cambridge University Press, 2010. $85 ; $24.99. [REVIEW]Jitse M. van der Meer - 2011 - Isis 102 (2):348-349.
A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp. [REVIEW]Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.

Analytics

Added to PP
2022-11-01

Downloads
123 (#141,992)

6 months
60 (#69,764)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Varol Akman
Bilkent University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references