Cover Image

Axiomatization of Büchi arithmetic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kovalyov, Konstantin
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A natural axiomatization of Büchi Arithmetic
by: Kovalyov, Konstantin
Published: (2026)

Analogues of Shepherdson's Theorem for a language with exponentiation
by: Kovalyov, Konstantin
Published: (2023)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials
by: Grädel, Erich, et al.
Published: (2021)

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Axiomatic theories of supervaluational truth: completing the picture
by: Dopico, Pablo, et al.
Published: (2024)

Axiomatic Theory of Independence Relations in Model Theory
by: d'Elbée, Christian
Published: (2023)

Axiomatizing logics of finite Gödel-Kripke models
by: Vidal, Amanda, et al.
Published: (2026)

Axiomatizing Rumsfeld Ignorance
by: Fan, Jie
Published: (2025)

Axiomatizing the Logic of Ordinary Discourse
by: Greati, Vitor, et al.
Published: (2024)

How Concise are Chains of co-Büchi Automata?
by: Ehlers, Rüdiger
Published: (2026)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
by: Jarmuzek, Tomasz, et al.
Published: (2024)

An Axiomatic Theory for Reversible Computation
by: Lanese, Ivan, et al.
Published: (2023)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

Graphings of arithmetical equivalence relations
by: Arant, Tyler
Published: (2025)

Iterating reflection over intuitionistic arithmetic
by: Frittaion, Emanuele
Published: (2024)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Relative to any non-arithmetic set
by: Harrison-Trainor, Matthew
Published: (2025)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

The modal logic of arithmetic potentialism and the universal algorithm
by: Hamkins, Joel David
Published: (2018)

Searching problems above arithmetical transfinite recursion
by: Suzuki, Yudai, et al.
Published: (2023)

A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
by: Li, Yongming
Published: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

Analysis of logics with arithmetic
by: Benedikt, Michael, et al.
Published: (2025)

On the representation of C-recursive integer sequences by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)

Completeness theorems for modal logic in second-order arithmetic
by: Shimomichi, Sho, et al.
Published: (2025)

Pathwise-random trees and models of second-order arithmetic
by: Barmpalias, George, et al.
Published: (2021)

Axiomatizing modal inclusion logic and its variants
by: Anttila, Aleksi, et al.
Published: (2023)

A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Buchi Register Automata
by: Takata, Yoshiaki, et al.
Published: (2024)

Quasi-Polish spaces and spaces of filters in second-order arithmetic
by: Kaneko, Yuzuki, et al.
Published: (2026)

Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)

Half-Positional Objectives Recognized by Deterministic Büchi Automata
by: Bouyer, Patricia, et al.
Published: (2022)

Self-embeddings of models of arithmetic; fixed points, small submodels, and extendability
by: Bahrami, Saeideh
Published: (2022)

Models of true arithmetic are integer parts of nice real closed fields
by: Carl, Merlin
Published: (2013)

Higher arithmetic on the ordinals
by: Ducourtial, Adrian
Published: (2025)

How Concise are Chains of co-Büchi Automata?
by: Ehlers, Rüdiger
Published: (2025)