Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Lawrence S. Moss
Observed names:
L. S. Moss,
L.S. Moss,
LAWRENCE S. MOSS,
Lawrence Moss,
Lawrence S Moss,
Moss, Lawrence,
Moss, Lawrence S.
show all 7
Institutions:
City College of New York,
Indiana University Bloomington,
Indiana University
Observed institutions:
City College of New York,
Microsoft (United States),
University of Michigan,
IBM Research - Thomas J. Watson Research Center,
Indiana University Bloomington,
Indiana University,
Vrije Universiteit Amsterdam
show all 7
ORCID:
0000-0002-9908-5774
Observed ORCID:
0000-0002-9908-5774
OpenAlex ID:
A5028261970
The Logic of Public Announcements, Common Knowledge, and Private Suspicions
2016
·
Alexandru Baltag
, Lawrence S. Moss
, et al.
·
Springer eBooks
·
598
Logics for Epistemic Programs
2004
·
Alexandru Baltag
, Lawrence S. Moss
·
Springer eBooks
·
313
Logics for Epistemic Programs
2004
·
Alexandru Baltag
, Lawrence S. Moss
·
Synthese
·
252
Coalgebraic logic
1999
·
Lawrence S. Moss
·
Annals of Pure and Applied Logic
·
163
Topological reasoning and the logic of knowledge
1996
·
Andrew Dabrowski
, Lawrence S. Moss
, et al.
·
Annals of Pure and Applied Logic
·
135
The logic of public announcements, common knowledge, and private suspicions
1999
·
Alexandru Baltag
, Lawrence S. Moss
, et al.
·
Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands
·
128
PDF
Probing Natural Language Inference Models through Semantic Fragments
2020
·
Richardson, Kyle
, Hu, Hai
, et al.
·
AAAI Publications (The Association for the Advancement of Artificial Intelligence (AAAI))
·
112
PDF
Topological reasoning and the logic of knowledge
1992
·
Lawrence S. Moss
, Rohit Parikh
·
94
Logics for the Relational Syllogistic
2009
·
IAN PRATT-HARTMANN
, LAWRENCE S. MOSS
·
The Review of Symbolic Logic
·
90
PDF
The Undecidability of Iterated Modal Relativization
2005
·
Joseph S. Miller
, Lawrence S. Moss
·
Studia Logica
·
87
OCNLI: Original Chinese Natural Language Inference
2020
·
Hai Hu
, Kyle Richardson
, et al.
·
80
Generalized Quantifiers and the Expressive Power of Natural Language
2013
·
Edward L. Keenan
, Lawrence S. Moss
·
De Gruyter eBooks
·
72
Parametric corecursion
2001
·
Lawrence S. Moss
·
Theoretical Computer Science
·
67
PDF
Epistemic Logic and Information Update
2008
·
Alexandru Baltag
, Hans P. van Ditmarsch
, et al.
·
Elsevier eBooks
·
66
Topology and Epistemic Logic
2007
·
Rohit Parikh
, Lawrence S. Moss
, et al.
·
Springer eBooks
·
65
Recent Progress on Monotonicity
2014
·
Thomas F. Icard III
, Lawrence S. Moss
·
Linguistic Issues in Language Technology
·
64
PDF
Evidence Logic: A New Look at Neighborhood Structures
2012
·
van Benthem, J.
, Fernández-Duque, D.
, et al.
·
UvA-DARE (University of Amsterdam)
·
50
Syllogistic Logics with Verbs
2008
·
L. S. Moss
·
Journal of Logic and Computation
·
47
Completeness theorems for syllogistic fragments
2008
·
Lawrence S. Moss
·
47
Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories
2004
·
Lawrence S. Moss
, Ignacio D. Viglizzo
·
Electronic Notes in Theoretical Computer Science
·
44
PDF
Finite Models Constructed From Canonical Formulas
2007
·
Lawrence S. Moss
·
Journal of Philosophical Logic
·
43
Exploring Logical Dynamics, Johan van Benthem
2000
·
Lawrence S. Moss
·
Journal of Logic Language and Information
·
42
Algebraic operational semantics and Occam
1990
·
Yuri Gurevich
, Lawrence S. Moss
·
Lecture notes in computer science
·
41
NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning
2021
·
Zeming Chen
, Qiyue Gao
, et al.
·
37
PDF
Final coalgebras for functors on measurable spaces
2006
·
Lawrence S. Moss
, Ignacio D. Viglizzo
·
Information and Computation
·
36
Show more works
View as search
Works count:
168
Citation count:
3,647
H-index:
26
I10-index:
60
Year
Topic
Type
