Monadic second-order logic (MSO) is an extension of first-order logic that allows quantification over subsets of the universe. Such subsets can be viewed as unary (that is, monadic) predicates.
May 13, 2024
May 13, 2024 · On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates. We investigate the decidability of the monadic second-order (MSO) theory of the ...
May 1, 2024 · A class F of frames is second-order definable if there is a sen- tence φ in the second-order language with a single two-place predicate symbol P and quantifiers ...
May 2, 2024 · Bruno Courcelle: The monadic second-order logic of graphs XVI : Canonical graph decompositions.
5 days ago · I just uploaded a new version of my book on monadic second-order logic. It includes a new chapter on the Caucal hierarchy and some minor additions to the ...
7 days ago · Can plural logic be replaced by monadic second-order logic or even reduced to it? Or is some reduction in the opposite direction possible? If pluralities are ...
May 11, 2024 · Monadic second-order logic over rectangular pictures and recognizability by tiling systems. D Giammarresi, A Restivo, S Seibert, W Thomas. Information and ...
May 9, 2024 · Monadic Second Order Logic · Monads in Functional Programming · M types · Multi-Level · Multiparty Session Types · Multiplicative Additive Linear Logic.
2 days ago · The most-known approaches include works based on monadic second-order logic on graph types [10], ... Separation Logic: A Logic for Shared Mutable Data Structures.