Cover Image

The Parameterized Complexity of Learning Monadic Second-Order Logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van Bergerem, Steffen, Grohe, Martin, Runde, Nina
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Learning Concepts Definable in First-Order Logic with Counting
by: van Bergerem, Steffen
Published: (2019)

Learning Aggregate Queries Defined by First-Order Logic with Counting
by: van Bergerem, Steffen, et al.
Published: (2024)

Monadic Second-Order Logic of Permutations
by: Jelínek, Vít, et al.
Published: (2025)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
by: Bodirsky, Manuel, et al.
Published: (2020)

The Descriptive Complexity of Graph Neural Networks
by: Grohe, Martin
Published: (2023)

The Complexity and Expressive Power of Second-Order Extended Logic
by: Feng, Shiguang, et al.
Published: (2022)

Query Languages for Machine-Learning Models
by: Grohe, Martin
Published: (2026)

The Complexity of Fragments of Second-Order HyperLTL
by: Regaud, Gaëtan, et al.
Published: (2025)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
by: Kudasov, Nikolai
Published: (2022)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
by: Iosif, Radu, et al.
Published: (2023)

Distributive Laws of Monadic Containers
by: Purdy, Chris, et al.
Published: (2025)

The Formal Theory of Monads, Univalently
by: van der Weide, Niels
Published: (2022)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
by: Díaz-Caro, Alejandro, et al.
Published: (2024)

The Monadic Theory of Toric Words
by: Berthé, Valérie, et al.
Published: (2023)

On Expansions of Monadic Second-Order Logic with Dynamical Predicates
by: Nieuwveld, Joris, et al.
Published: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
by: Berthé, Valérie, et al.
Published: (2024)

Graded Monads and Behavioural Equivalence Games
by: Ford, Chase, et al.
Published: (2022)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
by: Zhang, Yuanrui
Published: (2026)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
by: Pshenitsyn, Tikhon
Published: (2023)

From Partial to Monadic: Combinatory Algebra with Effects
by: Cohen, Liron, et al.
Published: (2025)

Verification of Population Protocols with Unordered Data
by: van Bergerem, Steffen, et al.
Published: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
by: Goncharov, Sergey
Published: (2024)

Dependence Logics in Temporal Settings
by: Baltag, Alexandru, et al.
Published: (2022)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Smart Choices and the Selection Monad
by: Abadi, Martin, et al.
Published: (2020)

Distributed First Order Logic
by: Ghidini, Chiara, et al.
Published: (2015)

Interpolation in First-Order Logic
by: Cate, Balder ten, et al.
Published: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
by: Lyon, Tim S., et al.
Published: (2024)

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

A Two-Watched Literal Scheme for First-Order Logic
by: Briefs, Yasmine, et al.
Published: (2026)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
by: Dreier, Jan, et al.
Published: (2024)

Kuroda's Translation for Higher-Order Logic
by: Traversié, Thomas
Published: (2024)

What Monads Can and Cannot Do with a Few Extra Pages
by: Møgelberg, Rasmus Ejlers, et al.
Published: (2023)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
by: Affeldt, Reynald, et al.
Published: (2023)

The Only Distributive Law Over the Powerset Monad Is the One You Know
by: Goncharov, Sergey, et al.
Published: (2026)