b. 1957
Lawrence Moss is an American mathematical logician and philosopher at Indiana University Bloomington, known for his work on coalgebra, non-wellfounded sets, dynamic epistemic logic, and natural logic. His research bridges theoretical computer science, linguistics, and philosophical logic, particularly in modeling belief revision and reasoning in games.
Co-developed coalgebraic logic and foundational work on non-wellfounded sets
Advanced dynamic epistemic logic and its applications to game theory
Pioneered natural logic as a framework for linguistic inference
Founded and directed Indiana University's Program in Pure and Applied Logic
Extensive contributions to the interface of logic, computer science, and linguistics
The apparent multiplication of word-tokens from a single inscription based on different readings is not a genuine mereological multiplication of entities