Lawrence Moss

Lawrence Moss

Adjunct Professor, Computer Science

Adjunct Professor, Informatics

Adjunct Professor, Linguistics

Professor, Mathematics

Departmental Liaison to Cognitive Science, Mathematics and Statistics

Adjunct Professor, Philosophy


  • Ph.D., UCLA, 1984

Research interests

My research interests are in logic, especially areas of overlap between logic and computer science, and logic and linguistics. I have been involved in several areas of this overlap, including studies of grammar formalisms, non-wellfounded sets, the math ematics of language, and foundational work on recursion and on the semantics of programming.

Professional Experience

  • Postdoctoral fellowship at the Center for the Study of Language and Information, Stanford University, 1984-85
  • Postdoctoral fellowship at the IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1988-90

Representative publications

The logic of public announcements, common knowledge, and private suspicions.(2016)
Alexandru Baltag, Lawrence S Moss and Sławomir Solecki
Springer, Cham. 773-812

Vicious circles: on the mathematics of non-wellfounded phenomena.(1996)
Jon Barwise and Lawrence Moss
Center for the Study of Language and Information.

Logics for epistemic programs.(2004)
Alexandru Baltag and Lawrence S Moss
Synthese, 139 (2), 165-224

Coalgebraic logic.(1999)
Lawrence S Moss
Annals of Pure and Applied Logic, 96 (3-Jan), 277-317

The logic of common knowledge, public announcements, and private suspicions.(1998)
Alexandru Baltag, Lawrence S Moss and Slawomir Solecki
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 98), 43-56

Jon Barwise and Larry Moss
The Mathematical Intelligencer, 13 (4), 31-41

Topological reasoning and the logic of knowledge.(1996)
Andrew Dabrowski, Lawrence S Moss and Rohit Parikh
Annals of Pure and Applied Logic, 78 (3-Jan), 73-110

Generalized quantifiers and the expressive power of natural language.(1985)
Edward L Keenan and Lawrence S Moss
Foris Dordrecht. 4 73-124

Topological reasoning and the logic of knowledge: preliminary report.(1992)
Lawrence S Moss and Rohit Parikh
Morgan Kaufmann Publishers Inc.. 95-105

Situation theory.(1997)
Jerry Seligman and Lawrence S Moss
North-Holland. 239-309

The undecidability of iterated modal relativization.(2005)
Joseph S Miller and Lawrence S Moss
Studia Logica, 79 (3), 373-407

Preface: Volume 11.(1998)
Bart Jacobs, Larry Moss, Horst Reichel and Jan Rutten
Electronic Notes in Theoretical Computer Science, 11 259

Parametric corecursion.(2001)
Lawrence S Moss
Theoretical Computer Science, 260 (2-Jan), 139-163

Logics for the relational syllogistic.(2009)
Ian Pratt-Hartmann and Lawrence S Moss
The Review of Symbolic Logic, 2 (4), 647-683

Epistemic logic and information update.(2008)
Alexandru Baltag, Hans van Ditmarsch and Lawrence S Moss
Handbook on the Philosophy of Information, 369-463

Dissertation Committee Service

Author Dissertation Title Committee
Abramson, Darren Computability and Mind (June 2006) McCarty, D. (Co-Chair), Moss, L. (Co-Chair), Weinberg, J., McLaughlin, B.
Lara-Dammer, Francisco Modeling Human Discoverativity in Geometry (December 2009) Hofstadter, D. (Chair), Gasser, M., Leake, D., Moss, L., Port, R.
Lee, Seunghwan Probabilistic Reasoning on Metric Spaces (August 2006) Moss, L. (Chair), Bradley, R., Leake, D., Van Gucht, D.
Martinez, M. Commonsense Reasoning Via Product State Spaces (July 2004) Moss, L. (Co-Chair), Gasser, M. (Co-Chair), Maki, D., McCarty, D.
Scheutz, M. The Missing Link: Implementation And Realization of Communication in Computer And Cognitive Science (September 1999) Smith, B. (Co-Chair), Gasser, M. (Co-Chair), Moss, L., Port, R.
Tiede, H. Causation, Causal Perception, And Conservation Laws (November 1999) Moss, L. (Chair), Friedman, M., Bingham, G., Koertge, N., Suppe, F.,
Tiede, H. Deductive Systems And Grammars: Proofs as Grammatical Structure (July 1999) Moss, L. (Chair), Barwise, K. J. Benthem, J. F. A. K., McCarty, D. C., Pierce, B. C.