Cover Image

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rybakov, Mikhail
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

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

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

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

Strong completeness for the predicate logic of the continuous t-norms
by: Castaño, Diego, et al.
Published: (2024)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
by: Castaño, Diego, et al.
Published: (2024)

Modal logical aspects of provability predicates and consistency statements
by: Kogure, Haruka, et al.
Published: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
by: Dowek, Gilles, et al.
Published: (2023)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
by: Rybakov, M., et al.
Published: (2025)

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

A non-uniform view of Craig interpolation in modal logics with linear frames
by: Kurucz, Agi, et al.
Published: (2023)

Hereditary undecidability of fragments of some elementary theories
by: Karpov, Vladimir E.
Published: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

A linear proof language for second-order intuitionistic linear logic
by: Díaz-Caro, Alejandro, et al.
Published: (2023)

The finite frame property of some extensions of the pure logic of necessitation
by: Kurahashi, Taishi, et al.
Published: (2023)

The logic of bunched implications is undecidable
by: Galatos, Nick, et al.
Published: (2026)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

On the existence property over a predicate
by: Usvyatsov, Alexander
Published: (2025)

On $\lam$-existence over a predicate
by: Usvyatsov, Alexander
Published: (2026)

Additive systems for $\mathbb{Z}$ are undecidable
by: Zabolotskii, Andrei
Published: (2025)

Stability over a predicate and prime closure
by: Usvyatsov, Alexander
Published: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

On two-variable guarded fragment logic with expressive local Presburger constraints
by: Lu, Chia-Hsuan, et al.
Published: (2022)

Constructive S4 modal logics with the finite birelational frame property
by: Balbiani, Philippe, et al.
Published: (2024)

Stable amalgamation over a predicate and the Gaifman property
by: Shelah, Saharon, et al.
Published: (2025)

One-variable fragments of first-order logics
by: Cintula, Petr, et al.
Published: (2023)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

Fibred sets within a predicative and constructive effective topos
by: Cioffo, Cipriano Junior, et al.
Published: (2024)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
by: Oda, Yukihiro, et al.
Published: (2022)

Simple tableaux for two expansions of Gödel modal logic
by: Bilkova, Marta, et al.
Published: (2024)

Tarski's least fixed point theorem: A predicative type theoretic formulation
by: Ray, Ian
Published: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
by: Sliusarev, Vladislav
Published: (2024)

Two examples concerning existential undecidability in fields
by: Dittmann, Philip
Published: (2022)

On Godel's treatment of the undecidable in 1931
by: Cattabriga, Paola
Published: (2024)

Hereditarily Structurally Complete Superintuitionistic Logics and Primitive Varieties of Heyting Algebras
by: Citkin, Alex
Published: (2025)

Sharing proofs with predicative theories through universe-polymorphic elaboration
by: Felicissimo, Thiago, et al.
Published: (2023)

LNL polycategories and doctrines of linear logic
by: Shulman, Michael
Published: (2021)