Copertina

Convex Team Logics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Anttila, Aleksi, Knudstorp, Søren Brinck
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03B60, 03B65
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Undecidability in Relevant Logic
di: Knudstorp, Søren Brinck
Pubblicazione: (2026)

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

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

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

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

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

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

Interleaving Logic and Counting
di: van Benthem, Johan, et al.
Pubblicazione: (2025)

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

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

Natural Term Logic
di: Protin, Clarence
Pubblicazione: (2024)

Vagueness and the Connectives
di: Holliday, Wesley H.
Pubblicazione: (2024)

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

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

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

Tableau Proof Systems for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

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

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

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

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

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

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

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

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

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

Modern Definition and Ancient Definition
di: Protin, Clarence
Pubblicazione: (2022)

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

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

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

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

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

A Self-Reflecting Formal Language
di: Patrakeev, Mikhail
Pubblicazione: (2023)

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

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

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

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

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

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

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