Buchumschlag

Two strong undefinability results in inquisitive and team semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Barbero, Fausto
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03C80, 03B70, 03B60 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Random expansions of finite structures with bounded degree
von: Koponen, Vera
Veröffentlicht: (2024)

ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
von: Wang, Shuai
Veröffentlicht: (2024)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
von: Galliani, Pietro
Veröffentlicht: (2025)

Univalent Material Set Theory
von: Gylterud, Håkon Robbestad, et al.
Veröffentlicht: (2023)

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
von: Hausmann, Daniel, et al.
Veröffentlicht: (2022)

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

The Golden Path to Guarded Monotone Strict NP
von: Barsukov, Alexey, et al.
Veröffentlicht: (2023)

Thoughts on sub-Turing interactive computability
von: Japaridze, Giorgi
Veröffentlicht: (2024)

Constructive Limits of Cantor's Diagonal Method: Countability, Enumerability, and the Impossibility of Exhausting the Continuum
von: Semenov, Stanislav
Veröffentlicht: (2025)

Fractal Countability as a Constructive Alternative to the Power Set of N: A Meta-Formal Approach to Stratified Definability
von: Semenov, Stanislav
Veröffentlicht: (2025)

Fractal Boundaries of Constructivity: A Meta-Theoretical Critique of Countability and Continuum
von: Semenov, Stanislav
Veröffentlicht: (2025)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
von: Koponen, Vera, et al.
Veröffentlicht: (2023)

Weihrauch problems as containers
von: Pradic, Cécilia, et al.
Veröffentlicht: (2025)

Hereditary First-Order Logic: the tractable quantifier prefix classes
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2024)

On the Computational Power of Extensional ESO
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)

Normal forms in cubical type theory
von: Huang, Xu
Veröffentlicht: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
von: Nakamura, Yuki
Veröffentlicht: (2026)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

Adding an Implication to Logics of Perfect Paradefinite Algebras
von: Greati, Vitor, et al.
Veröffentlicht: (2023)

DHoTT: A Temporal Extension of Homotopy Type Theory for Semantic Drift
von: Poernomo, Iman
Veröffentlicht: (2025)

ASP Chef grows Mustache to look better
von: Alviano, Mario, et al.
Veröffentlicht: (2025)

The reverse mathematics of the pigeonhole hierarchy
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2024)

Random expansions of trees with bounded height
von: Koponen, Vera, et al.
Veröffentlicht: (2024)

A vector logic for extensional formal semantics
von: Quigley, Daniel
Veröffentlicht: (2024)

Extracting total Amb programs from proofs
von: Berger, Ulrich, et al.
Veröffentlicht: (2023)

Reasoning Around Paradox with Grounded Deduction
von: Ford, Bryan
Veröffentlicht: (2024)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

Possible and impossible conditionals for team logics
von: Barbero, Fausto, et al.
Veröffentlicht: (2026)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Dismantling the Surprise Test "Paradox"
von: Dietzfelbinger, Martin
Veröffentlicht: (2026)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
von: Stanković, Marko, et al.
Veröffentlicht: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Undecidability in Relevant Logic
von: Knudstorp, Søren Brinck
Veröffentlicht: (2026)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
von: Borzechowski, Manfred, et al.
Veröffentlicht: (2025)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2026)