Lawrence S. Moss

Logics for Epistemic Programs

Alexandru Baltag, Lawrence S. Moss · Synthese · 2004 · 247 citations

Humanities, Computer Science, Logic +2

Coalgebraic logic

Lawrence S. Moss · Annals of Pure and Applied Logic · 1999 · 163 citations

The logic of public announcements, common knowledge, and private suspicions

Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1999 · 137 citations · Full text

Humanities, Computer Science, Knowledge Representation +16

Topological reasoning and the logic of knowledge

Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh · Annals of Pure and Applied Logic · 1996 · 135 citations

Computing, Mathematics, Knowledge Representation +11

Probing Natural Language Inference Models through Semantic Fragments

Kyle Richardson, Hai Hu, Lawrence S. Moss et al. · 2020 · 122 citations

Computing, Computer Science, Computational Linguistics +11