|
Education
Ph.D., UCLA, 1984
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
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.
Representative Publications
Moss, L. S. (1991). Completeness theorems for logics of
feature structures.
In Y. N. Moschovakis (Ed.),
Logic From Computer Science. MSRI Publications, Vol. 21, Springer-Verlag,
pp. 387-403.
Johnson, D. E. & Moss, L.S. (1995). Evolving algebras and mathematical models of language.
In M. Masuch & L. Polos (Eds.), Applied Logic: How, What, and Why, pp. 143-176. Kluwer.
Barwise, J. & Moss, L.S. (1996). Vicious circles: On the
Mathematics of Non-Wellfounded Phenomena.
CSLI Lecture Notes, No. 60, CSLI Publications, Stanford University.
Dabrowksi, A. & Moss, L.S. (1996). Topological Reasoning and the logic of knowledge.
Annals of Pure and Applied Logic, 78, No. 1-3, 73-110.
Seligman, J. & Moss, L.S.(1996). Situation Theory.
In J. van Benthem & A. ter Meulen (Eds.), Handbook of Logic and Language, pp. 239-309. North Holland, Amsterdam.
|
