Image de couverture de livre

Expressibility and inexpressibility in propositional team logics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Häggblom, Matilda, Hirvonen, Minna, Väänänen, Jouko
Format:	Preprint
Publié:	2025
Sujets:	Logic 03B60
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Capturing dual team properties with inclusion atoms
par: Häggblom, Matilda
Publié: (2026)

Axiomatizing modal inclusion logic and its variants
par: Anttila, Aleksi, et autres
Publié: (2023)

Inclusion with repetitions and Boolean constants -- implication problems revisited
par: Häggblom, Matilda
Publié: (2025)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

There are (other) ways to negate in propositional team semantics
par: Yang, Fan
Publié: (2024)

Possible and impossible conditionals for team logics
par: Barbero, Fausto, et autres
Publié: (2026)

Model theory of second order logic
par: Väänänen, Jouko
Publié: (2025)

New inner models from second order logics
par: Magidor, Menachem, et autres
Publié: (2025)

On propositional logic semirings
par: Li, Wenxi, et autres
Publié: (2024)

Multiplicative logic in arithmetic
par: Zhuravlov, Volodymyr
Publié: (2024)

Interpolation in model theory
par: Väänänen, Jouko
Publié: (2025)

Inner models from extended logics and the Delta-operation
par: Väänänen, Jouko, et autres
Publié: (2025)

Retractors in local positive logic
par: Fanlo, Arturo Rodriguez, et autres
Publié: (2024)

Completeness in local positive logic
par: Fanlo, Arturo Rodriguez, et autres
Publié: (2024)

Equivalence of finite non-deterministic logical matrices is undecidable
par: Caleiro, Carlos, et autres
Publié: (2024)

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
par: Olkhovikov, Grigory K., et autres
Publié: (2022)

Avoiding logical strength in real analysis
par: Freund, Anton, et autres
Publié: (2026)

The amalgamation property and Urysohn structures in continuous logic
par: Gao, Su, et autres
Publié: (2023)

On Some Infinitary Logics
par: Vaananen, Jouko, et autres
Publié: (2024)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
par: Inoué, Takao, et autres
Publié: (2024)

Two strong undefinability results in inquisitive and team semantics
par: Barbero, Fausto
Publié: (2024)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
par: Puljujärvi, Joni, et autres
Publié: (2026)

On Borel subsets of generalized Baire spaces
par: Hyttinen, Tapani, et autres
Publié: (2025)

Inner Models from Extended Logics: Part 2
par: Kennedy, Juliette, et autres
Publié: (2020)

A propositional cirquent calculus for computability logic
par: Japaridze, Giorgi
Publié: (2024)

Strong Negation is Definable in 2Int
par: Oddsson, Hrafn Valtýr
Publié: (2025)

Convex Team Logics
par: Anttila, Aleksi, et autres
Publié: (2025)

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness
par: Krawczyk, Krzysztof A.
Publié: (2024)

Cartagena Logic
par: Kivimäki, Siiri, et autres
Publié: (2021)

Generating proof systems for three-valued propositional logics
par: Greati, Vitor, et autres
Publié: (2024)

On the categoricity of complete second order theories
par: Saarinen, Tapio, et autres
Publié: (2024)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

Topological semantics for a non-self-extensional LFI
par: Jain, Esha, et autres
Publié: (2025)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
par: Nishimura, Yuki
Publié: (2022)

Tableau Proof Systems for Justification Logics
par: Ghari, Meghdad
Publié: (2014)

A Self-Reflecting Formal Language
par: Patrakeev, Mikhail
Publié: (2023)

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

State-based Modal Logics for Free Choice
par: Aloni, Maria, et autres
Publié: (2023)