Peter D. Mosses, Action Semantics [Book Review]
Journal of Logic and Computation 3 (4):442-444 (1993)
Abstract
This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.Author's Profile
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.
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.
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.
Analytics
Added to PP
2022-11-01
Downloads
9 (#938,393)
6 months
9 (#96,704)
2022-11-01
Downloads
9 (#938,393)
6 months
9 (#96,704)
Historical graph of downloads
