Imagen de Portada

When do modal definability and preservation theorems transfer to the finite?

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	van Benthem, Johan, Cate, Balder ten, Yang, Xi
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Craig Interpolation for Decidable First-Order Fragments
por: Cate, Balder ten, et al.
Publicado: (2023)

Characterising Modal Formulas with Examples
por: Cate, Balder ten, et al.
Publicado: (2023)

Interpolation in First-Order Logic
por: Cate, Balder ten, et al.
Publicado: (2025)

Six Proofs of Interpolation for the Modal Logic K
por: Bezhanishvili, Nick, et al.
Publicado: (2025)

Modal Fragments
por: Bezhanishvili, Nick, et al.
Publicado: (2026)

Preservation theorems for Tarski's relation algebra
por: Bogaerts, Bart, et al.
Publicado: (2023)

Characterizing LTL Formulas by Examples
por: Cate, Balder ten, et al.
Publicado: (2026)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
por: Cate, Balder ten, et al.
Publicado: (2025)

The Size of Interpolants in Modal Logics
por: Cate, Balder ten, et al.
Publicado: (2025)

Definability and Interpolation in Philosophy
por: van Benthem, Johan
Publicado: (2026)

Logical Expressiveness of Graph Neural Networks with Hierarchical Node Individualization
por: Soeteman, Arie, et al.
Publicado: (2025)

When do homomorphism counts help in query algorithms?
por: Cate, Balder ten, et al.
Publicado: (2023)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

On the Power and Limitations of Examples for Description Logic Concepts
por: Cate, Balder ten, et al.
Publicado: (2024)

Knowability as continuity: a topological account of informational dependence
por: Baltag, Alexandru, et al.
Publicado: (2024)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
por: Soeteman, Arie, et al.
Publicado: (2026)

Interleaving Logic and Counting
por: van Benthem, Johan, et al.
Publicado: (2025)

Expressive Power of Deep Homomorphism Networks over Relational Databases
por: Schönherr, Moritz, et al.
Publicado: (2026)

Modal definability in Euclidean modal logics
por: Balbiani, Philippe, et al.
Publicado: (2025)

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

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

A modal approach towards substitutions
por: Tu, Yaxin, et al.
Publicado: (2025)

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Interpolation for the two-way modal mu-calculus
por: Kloibhofer, Johannes, et al.
Publicado: (2025)

Intuitionistic modal logics: a minimal setting
por: Balbiani, Philippe, et al.
Publicado: (2025)

On semantics of first-order justification logic with binding modalities
por: Yavorskaya, Tatiana, et al.
Publicado: (2025)

Cut-elimination for the alternation-free modal mu-calculus
por: Afshari, Bahareh, et al.
Publicado: (2025)

Boolean basis, formula size, and number of modal operators
por: Berkholz, Christoph, et al.
Publicado: (2024)

Intrinsic and relative characterization results for logics with negative modalities
por: de Groot, Jim, et al.
Publicado: (2025)

Canonicity in power and modal logics of finite achronal width
por: Goldblatt, Robert, et al.
Publicado: (2022)

Incompleteness theorems via Turing category
por: Savelyev, Yasha
Publicado: (2024)

A Cobham theorem for scalar multiplication
por: Hieronymi, Philipp, et al.
Publicado: (2024)

Oracle modalities
por: Swan, Andrew W
Publicado: (2024)

Complexity of the Model Checking problem for inquisitive propositional and modal logic
por: Grilletti, Gianluca, et al.
Publicado: (2024)

An abstract fixed-point theorem for Horn formula equations
por: Hetzl, Stefan, et al.
Publicado: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
por: Przybocki, Benjamin, et al.
Publicado: (2024)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
por: Ken, Eitetsu, et al.
Publicado: (2024)

On first-order definable operations on relational structures
por: Courcelle, Bruno
Publicado: (2026)

Minimal modal logics, constructive modal logics and their relations
por: Dalmonte, Tiziano
Publicado: (2023)

Extension preservation on dense graph classes
por: Eleftheriadis, Ioannis
Publicado: (2024)