Follow
Lawrence S. Moss
Lawrence S. Moss
Professor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, Philosophy
Verified email at indiana.edu - Homepage
Title
Cited by
Cited by
Year
The logic of public announcements, common knowledge, and private suspicions
A Baltag, LS Moss, S Solecki
Readings in Formal Epistemology: Sourcebook, 773-812, 2016
9932016
Vicious circles: on the mathematics of non-wellfounded phenomena
J Barwise, L Moss
Center for the Study of Language and Information, 1996
7951996
Logics for epistemic programs
A Baltag, LS Moss
Synthese 139, 165-224, 2004
5372004
Coalgebraic logic
LS Moss
Annals of Pure and Applied Logic 96 (1-3), 277-317, 1999
4261999
Topological reasoning and the logic of knowledge
A Dabrowski, LS Moss, R Parikh
Annals of Pure and Applied Logic 78 (1-3), 73-110, 1996
1601996
The logic of common knowledge, public announcements, and private suspicions
A Baltag, LS Moss, S Solecki
Proceedings of the 7th Conference on Theoretical Aspects of Rationality and …, 1998
1561998
Generalized quantifiers and the expressive power of natural language
EL Keenan, L Moss
Generalized Quantifiers, Foris, Dordrecht, 73-124, 1985
1371985
Hypersets
J Barwise, L Moss
The Mathematical Intelligencer 13, 31-41, 1991
1321991
Topological Reasoning and The Logic of Knowledge.
LS Moss, R Parikh
TARK 92, 95-105, 1992
1251992
Situation theory
J Seligman, LS Moss
Handbook of logic and language, 239-309, 1997
1121997
The undecidability of iterated modal relativization
JS Miller, LS Moss
Studia Logica 79, 373-407, 2005
1042005
Probing natural language inference models through semantic fragments
K Richardson, H Hu, L Moss, A Sabharwal
Proceedings of the AAAI Conference on Artificial Intelligence 34 (05), 8713-8721, 2020
972020
Logics for the relational syllogistic
I Pratt-Hartmann, LS Moss
The Review of Symbolic Logic 2 (4), 647-683, 2009
932009
Parametric corecursion
LS Moss
Theoretical Computer Science 260 (1-2), 139-163, 2001
892001
Preface: Volume 11
B Jacobs, L Moss, H Reichel, J Rutten
Electronic Notes in Theoretical Computer Science 11, 259, 1998
881998
Epistemic logic and information update
A Baltag, HP van Ditmarsch, LS Moss
Handbook on the Philosophy of Information, 369-463, 2008
852008
Topology and epistemic logic
R Parikh, LS Moss, C Steinsvold
Handbook of spatial logics, 299-341, 2007
752007
Recent progress on monotonicity
TF Icard III, LS Moss
Linguistic Issues in Language Technology 9, 167–194-167–194, 2014
712014
Algebraic operational semantics and Occam
Y Gurevich, LS Moss
IBM Thomas J. Watson Research Division, 1990
711990
Harsanyi type spaces and final coalgebras constructed from satisfied theories
LS Moss, ID Viglizzo
Electronic notes in theoretical computer science 106, 279-295, 2004
702004
The system can't perform the operation now. Try again later.
Articles 1–20