1 citations · 1 across the 5 of their papers we have counts for
5 papers
Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem
Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss
We investigate a modal extension of the infinitary classical logic with countable meets and joins, formulated with an eye toward measure-theoretic work in dynamical systems and in…
Measurable Majorities Are Not Finitely Axiomatizable
Lawrence S. Moss, Arthur Paul Pedersen
This theoretical note studies the finite axiomatizability of strict majority reasoning in finite social decision frames. Moss and Pedersen (2026) <doi: 10.48550/arXiv.2606.23853> i…
The Measurable Majority
Lawrence S. Moss, Arthur Paul Pedersen
This paper studies strict majority reasoning in finite electorates using so-called : finite sets of voters equipped with distinguished families of…
Algebra of Self-Replication
Lawrence S. Moss
Typical arguments for results like Kleene's Second Recursion Theorem and the existence of self-writing computer programs bear the fingerprints of equational reasoning and combinato…
Quantum logic as motivated by quantum computing
J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss +1
We explore a connection between quantum logic and quantum computing.