Imagen de Portada

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Martins, Miguel, Moraschini, Tommaso
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Trees and spectra of Heyting algebras
por: Fornasiere, Damiano, et al.
Publicado: (2024)

Bi-intermediate logics of trees and co-trees
por: Bezhanishvili, N., et al.
Publicado: (2022)

On the universal theory of the free pseudocomplemented distributive lattice
por: Carai, Luca, et al.
Publicado: (2024)

Decidability of Quantum Modal Logic
por: Tokuo, Kenji
Publicado: (2026)

Degrees of the finite model property: the antidichotomy theorem
por: Bezhanishvili, Guram, et al.
Publicado: (2023)

Congruence permutability in quasivarieties
por: Carai, Luca, et al.
Publicado: (2025)

Bounded depth in Hilbert algebras
por: Carai, Luca, et al.
Publicado: (2026)

Dynamic Probability Logic: Decidability & Computability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

Decidability of Quasi-Dense Modal Logics
por: Ostropolski-Nalewaja, Piotr, et al.
Publicado: (2024)

Uniform Local Tabularity in Intuitionistic Logic
por: Almeida, Rodrigo Nicolau
Publicado: (2026)

Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
por: Li, Yongming
Publicado: (2025)

The theory of implicit operations
por: Carai, Luca, et al.
Publicado: (2025)

An addendum to "The theory of implicit operations"
por: Carai, Luca, et al.
Publicado: (2025)

Generalized Decidability via Brouwer Trees
por: de Jong, Tom, et al.
Publicado: (2026)

Skolemization In Intermediate Logics
por: Baaz, Matthias, et al.
Publicado: (2025)

A categorical description of simple Beth companions
por: Carai, Luca, et al.
Publicado: (2026)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
por: Lyon, Tim S.
Publicado: (2023)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
por: Artale, Alessandro, et al.
Publicado: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
por: Barloy, Corentin, et al.
Publicado: (2025)

A Direct Characterisation of Logical Grounds and a Decidability Proof
por: Genco, Francesco A.
Publicado: (2025)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
por: Chen, Zhicheng
Publicado: (2025)

Intuitionistic Sahlqvist theory for deductive systems
por: Fornasiere, Damiano, et al.
Publicado: (2022)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
por: Su, Wanyun, et al.
Publicado: (2024)

Decidability of Graph Neural Networks via Logical Characterizations
por: Benedikt, Michael, et al.
Publicado: (2024)

Deciding Predicate Logical Theories of Real-Valued Functions
por: Ratschan, Stefan
Publicado: (2023)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
por: Gamsakhurdia, Mariami, et al.
Publicado: (2025)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
por: Kurucz, Agi, et al.
Publicado: (2023)

Decidability for Sturmian words
por: Hieronymi, Philipp, et al.
Publicado: (2021)

Deciding Boolean Separation Logic via Small Models (Technical Report)
por: Dacík, Tomáš, et al.
Publicado: (2024)

Deciding Equations in the Time Warp Algebra
por: van Gool, Sam, et al.
Publicado: (2023)

Tree Rewriting Calculi for Strictly Positive Logics
por: Santiago-Fernández, Sofía, et al.
Publicado: (2025)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
por: Elad, Neta, et al.
Publicado: (2026)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
por: Pratt-Hartmann, Ian
Publicado: (2017)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
por: Joshi, Varad, et al.
Publicado: (2025)

A completion of reduced commutative rings
por: Carai, Luca, et al.
Publicado: (2026)

Decidability of Being a Union-splitting
por: Takahashi, Tenyo
Publicado: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
por: Lyon, Tim S., et al.
Publicado: (2024)

Epimorphisms between finitely generated algebras
por: Carai, Luca, et al.
Publicado: (2024)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
por: Lutz, Carsten, et al.
Publicado: (2024)

Measuring Decidability as Related to Busy Beaver Numbers
por: Tandi, Gurpreet, et al.
Publicado: (2026)