Monadic monadic second order logic
type: Item
instance of: scholarly article
title: Monadic monadic second order logic
DOI: 10.1007/978-3-031-24117-8_19
author: Mikołaj Bojańczyk
author: Bartek Klin
author: Julian Salamanca
publication date: 2024-10-01T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Qxx
Mathematics Subject Classification ID: 81P68
zbMATH DE Number: 7920692
zbMATH Keywords: monad
zbMATH Keywords: monadic second order logic
zbMATH Keywords: recognizable language distributive law
MaRDI profile type: Publication
cites work: Relating Structure and Power: Comonadic Semantics for Computational Resources
cites work: Q3575369
cites work: Q5579535
cites work: Recognisable Languages over Monads
cites work: Q5207048
cites work: Definability equals recognizability for graphs of bounded treewidth
cites work: Definable decompositions for graphs of bounded linear cliquewidth
cites work: Algebra for trees
cites work: On finitely generated idempotent semigroups.
cites work: Q3995303
cites work: Q3934450
cites work: Models in equational theories of unary algebras
cites work: Regular Languages of Words over Countable Linear Orderings
cites work: The monads of classical algebra are seldom weakly Cartesian
cites work: The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
cites work: Q3077955
cites work: Tree acceptors and some of their applications
cites work: Automata in general algebras
cites work: Decision Problems of Finite Automata Design and Related Arithmetics
cites work: Q4834373
cites work: Monads, partial evaluations, and rewriting
cites work: The Sch\"utzenberger product for syntactic spaces
cites work: Quantifiers on languages and codensity monads
cites work: Q5809194
cites work: Relation categories and coproduct congruence categories in universal algebra
cites work: Trace semantics for coalgebras
cites work: Iterated covariant powerset is not a monad
cites work: Q4693151
cites work: On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
cites work: Q5317419
cites work: Open Problems About Regular Languages, 35 Years Later
cites work: Decidability of Second-Order Theories and Automata on Infinite Trees
cites work: COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS
cites work: The monadic theory of order
cites work: General varieties of tree languages
cites work: Theories of analytic monads
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: Q3156505
cites work: Free lattices.
cites work: Q5028467
description: scientific article; zbMATH DE number 7920692