Image de couverture de livre

Constant time testability of first-order logic with modulo counting on finitary graphs

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Adler, Isolde, Stimpson, Jenny
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Logic F.4.1; F.2.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Semantics out of context: nominal absolute denotations for first-order logic and computation
par: Gabbay, Murdoch J.
Publié: (2013)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
par: Praveen, M., et autres
Publié: (2024)

Finite Hilbert systems for Weak Kleene logics
par: Greati, Vitor, et autres
Publié: (2024)

Hypersequent Calculi Have Ackermannian Complexity
par: Balasubramanian, A. R., et autres
Publié: (2026)

Deducibility in the full Lambek calculus with weakening is HAck-complete
par: Greati, Vitor, et autres
Publié: (2024)

Introducing The Maximum Common Bigraph Problem
par: Burns, Kyle, et autres
Publié: (2026)

When do homomorphism counts help in query algorithms?
par: Cate, Balder ten, et autres
Publié: (2023)

On the Satisfaction Probabilities of $k$-CNF Formulas
par: Tantau, Till
Publié: (2022)

Satisfiability in Łukasiewicz logic and its unbounded relative
par: Haniková, Zuzana, et autres
Publié: (2025)

The Fluted Fragment with Transitive Relations
par: Pratt-Hartmann, Ian, et autres
Publié: (2020)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
par: Anttila, Aleksi, et autres
Publié: (2025)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
par: Santo, José Espírito, et autres
Publié: (2020)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
par: Kazakov, Yevgeny, et autres
Publié: (2009)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
par: Grotenhuis, Lide, et autres
Publié: (2026)

Locality in Residuated-Lattice Structures
par: Carr, James
Publié: (2025)

Neural networks as fuzzy logic formulas
par: Heiman, Damian, et autres
Publié: (2026)

A Resolution-Based Interactive Proof System for UNSAT
par: Czerner, Philipp, et autres
Publié: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Axiomatizing the Logic of Ordinary Discourse
par: Greati, Vitor, et autres
Publié: (2024)

The Lambda Calculus is Quantifiable
par: Maestracci, Valentin, et autres
Publié: (2024)

A Coq-based Axiomatization of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
par: Raphaëlle, Crubillé
Publié: (2026)

A Fibrational Perspective on Differential Linear Logic
par: Koleilat, Jad
Publié: (2026)

On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
par: Lago, Ugo Dal, et autres
Publié: (2026)

Relational Dualities and Bisimulation
par: Kozicki, Piotr, et autres
Publié: (2026)

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics
par: Bisping, Benjamin, et autres
Publié: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
par: de Rezende, Susanna F., et autres
Publié: (2019)

A Complete Finitary Refinement Type System for Scott-Open Properties
par: Riba, Colin, et autres
Publié: (2026)

Notes on CSPs and Polymorphisms
par: Brady, Zarathustra
Publié: (2022)

Graded modal logic and counting message passing automata
par: Ahvonen, Veeti, et autres
Publié: (2024)

Polynomial-time Tractable Problems over the $p$-adic Numbers
par: Fehm, Arno, et autres
Publié: (2025)

Semi-Substructural Logics à la Lambek
par: Wan, Cheng-Syuan
Publié: (2024)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
par: Becker, Justus
Publié: (2025)

A Topological Rewriting of Tarski's Mereogeometry
par: Barlatier, Patrick, et autres
Publié: (2025)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

Logic of Sets with Atoms
par: Masters, Jake
Publié: (2025)

Cardinality and Representation of Stone Relation Algebras
par: Furusawa, Hitoshi, et autres
Publié: (2023)

Conjunctive categorial grammars and Lambek grammars with additives
par: Kuznetsov, Stepan L., et autres
Publié: (2024)

Two-Level Type Theory and Applications
par: Annenkov, Danil, et autres
Publié: (2017)