Cover Image

Positionality in $Σ_0^2$ and a completeness result

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ohlmann, Pierre, Skrzypczak, Michał
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

The memory of $ω$-regular and BC($Σ_2^0$) objectives
by: Casares, Antonio, et al.
Published: (2025)

A positional $\mathbfΠ^0_3$-complete objective
by: Casares, Antonio, et al.
Published: (2024)

On the Computability of Measures of Regular Sets of Infinite Trees
by: Niwiński, Damian, et al.
Published: (2023)

A Dichotomy Theorem for Ordinal Ranks in MSO
by: Niwiński, Damian, et al.
Published: (2025)

Rank-decreasing transductions
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

Trees in graphs of large linear cliquewidth
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

Positional $ω$-regular languages
by: Casares, Antonio, et al.
Published: (2024)

Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)

Characterising memory in infinite games
by: Casares, Antonio, et al.
Published: (2022)

The complete classification for quantified equality constraints
by: Zhuk, Dmitriy, et al.
Published: (2021)

Generalised Quantifiers Based on Rabin-Mostowski Index
by: Kuperberg, Denis, et al.
Published: (2026)

Expregular functions
by: Colcombet, Thomas, et al.
Published: (2026)

Hardness of monadic second-order formulae over succinct graphs
by: Gamard, Guilhem, et al.
Published: (2023)

Program Synthesis is $Σ_3^0$-Complete
by: Kim, Jinwoo
Published: (2024)

Infinite lexicographic products of positional objectives
by: Casares, Antonio, et al.
Published: (2025)

Flipper games for monadically stable graph classes
by: Gajarský, Jakub, et al.
Published: (2023)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
by: Hansen, Helle Hvid, et al.
Published: (2025)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

Intrinsic and relative characterization results for logics with negative modalities
by: de Groot, Jim, et al.
Published: (2025)

Positivity-hardness results on Markov decision processes
by: Piribauer, Jakob, et al.
Published: (2023)

FILO -- automated unification in $\mathcal{FL}_0$
by: Morawska, Barbara, et al.
Published: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Cauchy-completions and the rule of unique choice in relational doctrines
by: Dagnino, Francesco, et al.
Published: (2024)

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

Semantics for a Turing-complete Reversible Programming Language with Inductive Types
by: Chardonnet, Kostia, et al.
Published: (2023)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
by: Akshay, S., et al.
Published: (2022)

Alignment complete relational Hoare logics for some and all
by: Nagasamudram, Ramana, et al.
Published: (2023)

Quasi Directed Jonsson Operations Imply Bounded Width (For fo-expansions of symmetric binary cores with free amalgamation)
by: Wrona, Michal
Published: (2024)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Wadge degrees of $Δ^0_2$ omega-powers
by: Finkel, Olivier, et al.
Published: (2024)

A Relational Theory of Grounding and a new Grounder for SMT
by: Carbonnelle, Pierre
Published: (2026)

The addition of temporal neighborhood makes the logic of prefixes and sub-intervals EXPSPACE-complete
by: Bozzelli, L., et al.
Published: (2022)

Existential Positive Transductions of Sparse Graphs
by: Mählmann, Nikolas, et al.
Published: (2026)

Tabular intermediate logics comparison
by: Rzążewski, Paweł, et al.
Published: (2025)

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Implication Problems over Positive Semirings
by: Hirvonen, Minna
Published: (2025)

Hybrid Modal Operators for Definite Descriptions
by: Wałęga, Przemysław Andrzej, et al.
Published: (2024)

One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus
by: Cerna, David M., et al.
Published: (2022)

Skolem and Positivity Completeness of Ergodic Markov Chains
by: Vahanwala, Mihir
Published: (2023)