Cover Image

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Rybakov, M., Shcherbakov, M.
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Complexity of the variable-free fragments of non-normal modal logics (extended version)
by: Kudinov, A., et al.
Published: (2025)

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
by: Rybakov, Mikhail
Published: (2025)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate
by: Rybakov, Mikhail
Published: (2025)

Geometric theories for real number algebra without sign test or dependent choice axiom
by: Lombardi, Henri, et al.
Published: (2024)

Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties (extended version)
by: Dardinier, Thibault, et al.
Published: (2023)

Squares, ultrafilters and forcing axioms
by: Lambie-Hanson, Chris, et al.
Published: (2024)

Logic as an internal organisation of language
by: Čulina, Boris
Published: (2021)

An $\mathrm{NSOP}_{1}$ theory without the existence axiom
by: Mutchnik, Scott
Published: (2024)

Topological product of modal logics with the McKinsey axiom
by: Kudinov, Andrey
Published: (2024)

Adding a constant and an axiom to a doctrine
by: Guffanti, Francesca
Published: (2023)

How the continuum hypothesis could have been a fundamental axiom
by: Hamkins, Joel David
Published: (2024)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Weak Baumgartner axioms and universal spaces
by: Switzer, Corey Bacal
Published: (2025)

Complexity in finitary argumentation (extended version)
by: Andrews, Uri, et al.
Published: (2025)

An extended type system with lambda-typed lambda-expressions (extended version)
by: Weber, Matthias
Published: (2018)

Repairing General Game Descriptions (extended version)
by: He, Yifan, et al.
Published: (2025)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

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

On all numbers great and small (Topological fields of Conway's numbers and their completions)
by: Lisica, Ju. T.
Published: (2024)

More on yet another ideal version of the bounding number
by: Kwela, Adam
Published: (2024)

Fragments of Martin's axiom
by: Peng, Yinhe
Published: (2025)

Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
by: Waddoups, Nick, et al.
Published: (2025)

Correctly Communicating Software: Distributed, Asynchronous, and Beyond (extended version)
by: Heuvel, Bas van den
Published: (2024)

Dynamical ideals and the axiom of choice
by: Zapletal, Jindrich
Published: (2024)

Modal Logic for Reasoning About Uncertainty and Confusion
by: Bílková, Marta, et al.
Published: (2025)

Extendible cardinals, and Laver-generic large cardinal axioms for extendibility
by: Fuchino, Sakaé
Published: (2025)

An adequacy theorem between mixed powerdomains and probabilistic concurrency (extended version)
by: Neves, Renato
Published: (2024)

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
by: Budde, Carlos E., et al.
Published: (2024)

Validity of contextual formulas (extended version)
by: Esparza, Javier, et al.
Published: (2024)

Absolute convergence and Taylor expansion in web based models of Linear Logic
by: Tasson, Christine, et al.
Published: (2026)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

The proper forcing axiom for $\aleph_1$-sized posets, $ω_1$-linked symmetrically proper forcing, and the size of the continuum
by: Asperó, David, et al.
Published: (2022)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
by: Stramaglia, Anna, et al.
Published: (2025)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
by: Şakar, Ömer, et al.
Published: (2026)

Construction under Martin's axiom of a Boolean algebra with the Grothendieck property but without the Nikodym property
by: Sobota, Damian, et al.
Published: (2023)

An Indexed Linear Logic for Idempotent Intersection Types (Long version)
by: Breuvart, Flavien, et al.
Published: (2024)

Logic of the Great, Logic of the Wise 2
by: Fedorchenko, Mikhail
Published: (2026)

Benchmarks for Parity Games (extended version)
by: Keiren, Jeroen J. A.
Published: (2014)

A small ultrafilter number at all $\aleph_3\leqκ<\aleph_ω$
by: Eshkol, Julian
Published: (2025)