Image de couverture de livre

Flipping and Forking

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Przybyszewski, Wojciech, Toruńczyk, Szymon
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
par: Dreier, Jan, et autres
Publié: (2024)

Separability Properties of Monadically Dependent Graph Classes
par: Bonnet, Édouard, et autres
Publié: (2025)

Flipper games for monadically stable graph classes
par: Gajarský, Jakub, et autres
Publié: (2023)

Flip-width: Cops and Robber on dense graphs
par: Toruńczyk, Szymon
Publié: (2023)

Low rank MSO
par: Bojańczyk, Mikołaj, et autres
Publié: (2025)

Elementary first-order model checking for sparse graphs
par: Gajarský, Jakub, et autres
Publié: (2024)

Merge-width and First-Order Model Checking
par: Dreier, Jan, et autres
Publié: (2025)

First-order transducibility among classes of sparse graphs
par: Gajarský, Jakub, et autres
Publié: (2025)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
par: Różowski, Wojciech
Publié: (2024)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
par: Hansen, Helle Hvid, et autres
Publié: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
par: Ayhan, Sara, et autres
Publié: (2025)

On semantics of first-order justification logic with binding modalities
par: Yavorskaya, Tatiana, et autres
Publié: (2025)

Basis-Sensitive Quantum Typing via Realisability
par: Díaz-Caro, Alejandro, et autres
Publié: (2025)

An abstract fixed-point theorem for Horn formula equations
par: Hetzl, Stefan, et autres
Publié: (2025)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

Shininess, strong politeness, and unicorns
par: Przybocki, Benjamin, et autres
Publié: (2025)

Proofs that Modify Proofs, 1/2
par: Towsner, Henry
Publié: (2025)

Quantum modal logic
par: Tokuo, Kenji
Publié: (2025)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

Constructive Ordinal Exponentiation
par: de Jong, Tom, et autres
Publié: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Prime Factorization in Models of PV$_1$
par: Ježil, Ondřej
Publié: (2025)

Intuitionistic monotone modal logic via translation
par: de Groot, Jim
Publié: (2025)

Realizing the totally unordered structure of ordinals
par: Fontanella, Laura, et autres
Publié: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
par: Santiago-Fernández, Sofía, et autres
Publié: (2025)

Bilateral base-extension semantics
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Infinite trees
par: Goy, Alexandre
Publié: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
par: Alvarez, David Quinn
Publié: (2025)

Difference-restriction algebras with operators
par: Borlido, Célia, et autres
Publié: (2025)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
par: Pinsker, Michael, et autres
Publié: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
par: Gaßner, Christine
Publié: (2025)