Imagen de Portada

Convex Team Logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Anttila, Aleksi, Knudstorp, Søren Brinck
Formato:	Preprint
Publicado:	2025
Materias:	Logic 03B60, 03B65
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

State-based Modal Logics for Free Choice
por: Aloni, Maria, et al.
Publicado: (2023)

Undecidability in Relevant Logic
por: Knudstorp, Søren Brinck
Publicado: (2026)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
por: Knudstorp, Søren Brinck
Publicado: (2025)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
por: Knudstorp, Søren Brinck
Publicado: (2025)

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

Axiomatizing modal inclusion logic and its variants
por: Anttila, Aleksi, et al.
Publicado: (2023)

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

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

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

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

Aristotle's Second-Order Logic and Natural Deduction
por: Protin, Clarence
Publicado: (2023)

Natural Term Logic
por: Protin, Clarence
Publicado: (2024)

Vagueness and the Connectives
por: Holliday, Wesley H.
Publicado: (2024)

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

The Orthologic of Epistemic Modals
por: Holliday, Wesley H., et al.
Publicado: (2022)

A proof-theoretical approach to some extensions of first order quantification
por: Allègre, Loïc, et al.
Publicado: (2024)

Tableau Proof Systems for Justification Logics
por: Ghari, Meghdad
Publicado: (2014)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
por: Coniglio, Marcelo E.
Publicado: (2023)

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

Topological semantics for a non-self-extensional LFI
por: Jain, Esha, et al.
Publicado: (2025)

Strong Negation is Definable in 2Int
por: Oddsson, Hrafn Valtýr
Publicado: (2025)

Multiplicative logic in arithmetic
por: Zhuravlov, Volodymyr
Publicado: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
por: Moncayo, Jose, et al.
Publicado: (2024)

A characterization of Continuous Logic by using quantale-valued logics
por: Reyes, David, et al.
Publicado: (2021)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
por: Nishimura, Yuki
Publicado: (2022)

Blok-Esakia Theorems via Stable Canonical Rules
por: Bezhanishvili, Nick, et al.
Publicado: (2022)

Modern Definition and Ancient Definition
por: Protin, Clarence
Publicado: (2022)

Expressibility and inexpressibility in propositional team logics
por: Häggblom, Matilda, et al.
Publicado: (2025)

Possible and impossible conditionals for team logics
por: Barbero, Fausto, et al.
Publicado: (2026)

Capturing dual team properties with inclusion atoms
por: Häggblom, Matilda
Publicado: (2026)

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
por: Krawczyk, Krzysztof A.
Publicado: (2024)

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

A Self-Reflecting Formal Language
por: Patrakeev, Mikhail
Publicado: (2023)

Retractors in local positive logic
por: Fanlo, Arturo Rodriguez, et al.
Publicado: (2024)

Completeness in local positive logic
por: Fanlo, Arturo Rodriguez, et al.
Publicado: (2024)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
por: Galliani, Pietro
Publicado: (2025)

Cartan subrings in soluble ranked Lie rings
por: Ntsiri, Jules Tindzogho, et al.
Publicado: (2025)

Quelques résultats sur les anneaux de Lie qui n ' ont pas de chaine infinie de centralisateurs
por: Zamour, Samuel
Publicado: (2025)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
por: Hartonas, Chrysafis
Publicado: (2023)

Examples and counterexamples of injective types
por: de Jong, Tom, et al.
Publicado: (2026)