Cover Image

Possible and impossible conditionals for team logics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Barbero, Fausto, Yang, Fan
Format:	Preprint
Published:	2026
Subjects:	Logic 03B60
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

There are (other) ways to negate in propositional team semantics
by: Yang, Fan
Published: (2024)

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

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

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

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

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

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

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

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

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

The amalgamation property and Urysohn structures in continuous logic
by: Gao, Su, et al.
Published: (2023)

On the logic of interventionist counterfactuals under indeterministic causal laws
by: Barbero, Fausto
Published: (2023)

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

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

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

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

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

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

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

Tableau Proof Systems for Justification Logics
by: Ghari, Meghdad
Published: (2014)

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

A Self-Reflecting Formal Language
by: Patrakeev, Mikhail
Published: (2023)

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

On propositional logic semirings
by: Li, Wenxi, et al.
Published: (2024)

Paracomplete Probabilities
by: Basu, Sankha S., et al.
Published: (2025)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

A declarative approach to specifying distributed algorithms using three-valued modal logic
by: Gabbay, Murdoch J., et al.
Published: (2025)

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

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

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

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
by: Citkin, Alex, et al.
Published: (2025)

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

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

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

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

On the structure of Bochvar algebras
by: Bonzio, Stefano, et al.
Published: (2023)

On Many-logic modal structures and information-based logics
by: Martins, Manuel, et al.
Published: (2026)