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

2016

Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki

in: Readings in formal epistemology, Berlin,

Applied logic

a manifesto

2006

Lawrence S. Moss

in: Mathematical problems from applied logic I, Berlin,

Uniform functors on sets

2006

Lawrence S. Moss

in: Algebra, meaning, and computation, Berlin,

Logics for epistemic programs

2004

Alexandru Baltag, Lawrence S. Moss

Synthese 139 (2)

Grammar formalisms viewed as evolving algebras

1994

David E. Johnson, Lawrence S. Moss

Linguistics and Philosophy 17 (6)