26 Publications (Page 1 of 2)
2019
Syllogistic logic with “Most”
Endrullis, Jörg and Moss, Lawrence S
Mathematical Structures in Computer Science, vol. 29, (no. 6), pp. 763-782, Jun 2019. | Journal Article
2013
Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
Dunn, J⋅Moss, Lawrence and Wang, Zhenghan
(pp. 443-459). Jun 2013
 
Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
Dunn, J. M⋅Moss, Larry S and Wang, Zhenghan
Journal of Philosophical Logic, vol. 42, (no. 3), pp. 443-459, Jun 2013. | Journal Article
2010
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
Moss, Larry S
Journal of Logic and Computation, vol. 20, (no. 5), pp. 1101-1111, 2010. | Journal Article
2009
Special Issue on the Occasion of Johan van Benthem's 60th Birthday--Editorial
van Ditmarsch, Hans and Moss, Lawrence
Journal of Philosophical Logic, vol. 38, (no. 6), pp. 587-588, Dec 2009. | Journal Article
2008
Confusion of memory
Moss, Larry S
Information Processing Letters, vol. 107, (no. 3/4), Jul 31, 2008. | Journal Article
2007
FINITE MODELS CONSTRUCTED FROM CANONICAL FORMULAS
Moss, Larry S
Journal of Philosophical Logic, vol. 36, (no. 6), pp. 605-640, Dec 2007. | Journal Article
2005
Introduction: special issue on selected papers from the Fifth Workshop on Coalgebraic Methods in Computer Science
Moss, Larry S
Mathematical Structures in Computer Science, vol. 15, (no. 3), pp. 407-408, Jun 2005. | Journal Article
2004
Logics for Epistemic Programs
Baltag, Alexandru and Moss, Larry S
Synthese, vol. 139, (no. 2), pp. 165-224, 2004. | Journal Article
2003
Editors' introduction
Koepsell, David and Moss, Larry S
The American Journal of Economics and Sociology, vol. 62, (no. 1), pp. 1, Jan 2003. | Journal Article
 
Recursion and corecursion have the same equational logic
Moss, Larry S
Theoretical Computer Science, vol. 294, (no. 1-2), pp. 233-267, 2003. | Journal Article
2002
Editor's introduction
Moss, Larry S
The American Journal of Economics and Sociology, vol. 61, (no. 3), pp. 605, Jul 2002. | Journal Article
2001
Editor's introduction
Moss, Larry S
The American Journal of Economics and Sociology, vol. 60, (no. 4), pp. 707, Oct 2001. | Journal Article
2000
Editor's introduction
Moss, Larry S
The American Journal of Economics and Sociology, vol. 59, (no. 2), pp. 145, Apr 2000. | Journal Article
1998
Modal Correspondence for Models
Barwise, Jon and Moss, Larry S
Journal of Philosophical Logic, vol. 27, (no. 3), pp. 275-294, Jun 1998. | Journal Article
 
Preface
Jacobs, Bart⋅Moss, Larry⋅Reichel, Horst and Rutten, Jan
Electronic Notes in Theoretical Computer Science, vol. 11, 1998-01-01. | Journal Article
 
Preface
Jacobs, Bart⋅Moss, Larry⋅Reichel, Horst and Rutten, Jan
Electronic Notes in Theoretical Computer Science, vol. 11, pp. 259, 1998-00-00. | Journal Article
 
The logic of public announcements, common knowledge, and private suspicions
Baltag, Alexandru⋅Moss, Larry S and Solecki, Slawomir
Theoretical Aspects Of Rationality And Knowledge: Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge; 22-24 July 1998. 1998. | Conference Proceeding
1997
Introduction
Johnson, David and Moss, Lawrence
Linguistics and Philosophy, vol. 20, (no. 6), pp. 571-574, Dec 1997. | Journal Article
1995
Dynamic Interpretations of Constraint-Based Grammar Formalisms
Moss, Larry S and Johnson, David E
Journal of Logic, Language and Information, vol. 4, (no. 1), pp. 61-79, 1995. | Journal Article
1994
Grammar Formalisms Viewed as Evolving Algebras
Johnson, David E and Moss, Larry S
Linguistics and Philosophy, vol. 17, (no. 6), pp. 537-560, 1994. | Journal Article
1993
Modal logic and algebraic specifications.
Moss, Larry S and Thatte, Satish R
Theoretical Computer Science, vol. 111, (no. 1-2), pp. 191-210, 1993. | Journal Article
1991
Hypersets
Barwise, Jon and Moss, Larry
The Mathematical Intelligencer, vol. 13, (no. 4), pp. 41, 1991-09-00. | Journal Article
 
Hypersets
Barwise, Jon and Moss, Larry
Mathematical Intelligencer, vol. 13, (no. 4), pp. 31, 19911001. | Journal Article
 
Non-well-founded sets modeled as ideal fixed points.
Mislove, M. W⋅Moss, Larry S and Oles, F. J
INF. COMPUT., vol. 93, (no. 1), pp. 16-54, 1991. | Journal Article