Imagen de Portada

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Galliani, Pietro
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03B16 (Primary) 03B60, 03C85(Secondary) F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Compactness in Team Semantics
por: Puljujärvi, Joni, et al.
Publicado: (2022)

Two strong undefinability results in inquisitive and team semantics
por: Barbero, Fausto
Publicado: (2024)

Univalent Material Set Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2023)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2020)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
por: Forster, Jonas, et al.
Publicado: (2023)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
por: Anttila, Aleksi, et al.
Publicado: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
por: Bodirsky, Manuel, et al.
Publicado: (2024)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
por: Cerda, Rémy, et al.
Publicado: (2022)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
por: Anttila, Aleksi, et al.
Publicado: (2025)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
por: Forster, Jonas, et al.
Publicado: (2023)

Proof-theoretic methods in quantifier-free definability
por: Kocsis, Zoltan A.
Publicado: (2023)

Continuations and Completeness in Proof-theoretic Semantics
por: Gu, Tao, et al.
Publicado: (2026)

Interpolation and the Exchange Rule
por: Fussner, Wesley, et al.
Publicado: (2023)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
por: Oddsson, Hrafn Valtýr
Publicado: (2026)

Adding an Implication to Logics of Perfect Paradefinite Algebras
por: Greati, Vitor, et al.
Publicado: (2023)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
por: Ayhan, Sara
Publicado: (2023)

The Borel monadic theory of order is decidable
por: Manthe, Sven
Publicado: (2024)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

A Lopez-Escobar Theorem for Continuous Domains
por: Bazhenov, Nikolay, et al.
Publicado: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
por: Walsh, Sean
Publicado: (2024)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
por: Wang, Shuai
Publicado: (2024)

On an ordinary expansion of first-order Belnap-Dunn logic
por: Middelburg, C. A.
Publicado: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
por: Vodrazka, Daniel
Publicado: (2025)

Uniform Interpolation
por: van Gool, Sam
Publicado: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)

Axiomatizing approximate inclusion
por: Häggblom, Matilda
Publicado: (2025)

Axiomatization of approximate exclusion
por: Häggblom, Matilda
Publicado: (2024)

On the expressive power of inquisitive epistemic logic
por: Ciardelli, Ivano, et al.
Publicado: (2023)

Proof complexity of universal algebra in a CSP dichotomy proof
por: Gaysin, Azza
Publicado: (2024)

On the Computational Power of Extensional ESO
por: Bodirsky, Manuel, et al.
Publicado: (2025)

A Reflection Principle for Potential Infinite Models of Type Theory
por: Eberl, Matthias
Publicado: (2024)

LF: a Foundational Higher-Order-Logic
por: Goodsell, Zachary, et al.
Publicado: (2024)

Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich
por: Wild, Paul, et al.
Publicado: (2025)

Plausible Reasoning and First-Order Plausible Logic
por: Billington, David
Publicado: (2026)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
por: Farmer, William M., et al.
Publicado: (2023)

Reasoning Around Paradox with Grounded Deduction
por: Ford, Bryan
Publicado: (2024)

First-Order Coalition Logic
por: Catta, Davide, et al.
Publicado: (2025)

Computability of the Hahn-Banach Theorem Revisited
por: Brattka, Vasco, et al.
Publicado: (2026)

More on expressibility of satisfiability in submodels and extensions
por: Poliakov, Nikolai L., et al.
Publicado: (2026)