For copyright reasons, some papers are posted in preprint form only.
Also, I'm slow in posting many of the papers. Feel free to write for preprints.
J. Adámek, P. B. Levy, S. Milius, L. Moss, and L. Sousa, On Final Coalgebras of Power-Set Functors and Saturated Trees, submitted, 2012.
Inference in a Boolean Fragment, in Thomas Graf, Denis Paperno, Anna Szabolcsi, and Jos Tellings (eds.), Theories of Everything: In Honor of Ed Keenan. UCLA Working Papers in Linguistics 17, 2012, 261-273.
T. Brauner, T. Bolander, S. Ghilardi, and L.S. Moss (Editors), Proceedings of the Ninth Conference on Advances in Modal Logic, College Publications, 2012, 592 pp.
J. Adámek, S. Milius, L. Moss, and L. Sousa, Well-Pointed Coalgebras, in L. Birkendal (ed.), Proc. Foundations of Software Science and Computation Structures (FoSSaCS 2012), LNCS 7213, 2012, 89-103.
The Soundness of Internalized Polarity Marking, Studia Logica 100:683-704, 2012.
L. Moss, E. Wennstrom, and G. Whitney, A Complete Logical System for the Equality of Recursive Terms for Sets, to appear in R. L. Constable and A. Silva (eds.), Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of his Sixtieth Birthday, LNCS 7230, 2012, pp. 180-203.
J. Adámek, S. Milius, and L. S. Moss, On Finitary Functors and Their Presentations, in D. Pattinson and L. Schröder (eds.) Proc. Coalgebraic Methods in Computer Science (CMCS 2012), LNCS 2012, 51–70.
J. Endrullis, C. Grabmayer, D. Hendricks, J. W. Klop, and L. S. Moss, Automatic Sequences and Zip-Specifications, in N. Dershowitz (ed.) Proc. Logic in Computer Science (LICS 2012), 335-344. Here is a preprint.
Connections of Coalgebra and Semantic Modeling, in K. Apt (ed) Proc. Theoretical Aspects of Rationality and Knowledge (TARK 2011), 7 pp.
Syllogistic Logic with Comparative Adjectives, J. Logic, Language, and Information 20:3, 2011, special issue on papers from MoL 2007, 397-417.
J. Adámek, S. Milius, L. Moss, and L. Sousa, Power-Set Functors and Saturated Trees, in M. Bezem (ed.) Proc. Computer Science Logic 2011, 5-19.
The Role of Mathematical Methods, in D. G. Fara and G. Russell (eds.), Routledge Companion to the Philosophy of Language, Routledge, 2011, 533-543.
Natural Logic and Semantics, in M. Aloni et al (eds.), Proceedings, 17th Amsterdam Colloquium, LNAI 6042, 2010, 84-93.
S. Milius, L. Moss, and D. Schwencke, CIA Structures and the Semantics of Recursion, in C.-H. L. Ong (ed.), Proc. Foundations of Software Science and Computation Structures (FoSSaCS 2010), LNCS 6014, 2010, 312-327. Here is a full version of this paper.
Logics for Two Fragments Beyond the Syllogistic Boundary, in Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, A. Blass, N. Dershowitz, and W. Reisig (eds.), LNCS, vol. 6300, Springer-Verlag, 2010, 538-563.
Syllogistic Logics with Verbs, Journal of Logic and Computation, special issue on papers from Order, Algebra and Logics, Vol. 20, No. 4, 2010, 947-967.