Imagen de Portada

There are (other) ways to negate in propositional team semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Yang, Fan
Formato:	Preprint
Publicado:	2024
Materias:	Logic Logic in Computer Science 03B60
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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)

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

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

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

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

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

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

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

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

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

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

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

Reasoning Around Paradox with Grounded Deduction
por: Ford, Bryan
Publicado: (2024)

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

An ecumenical view of proof-theoretic semantics
por: Nascimento, Victor, et al.
Publicado: (2023)

Apartness relations between propositions
por: Kocsis, Zoltan A.
Publicado: (2022)

The complexity of being monitorable
por: Camerlo, Riccardo, et al.
Publicado: (2026)

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

Generating proof systems for three-valued propositional logics
por: Greati, Vitor, et al.
Publicado: (2024)

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

Game semantics for the constructive $μ$-calculus
por: Pacheco, Leonardo
Publicado: (2023)

Logics of False Belief and Radical Ignorance
por: Fan, Jie
Publicado: (2024)

The Myhill isomorphism theorem does not generalize much
por: Pradic, Cécilia
Publicado: (2025)

Axiomatization of approximate exclusion
por: Häggblom, Matilda
Publicado: (2024)

Inclusion with repetitions and Boolean constants -- implication problems revisited
por: Häggblom, Matilda
Publicado: (2025)

Axiomatizing approximate inclusion
por: Häggblom, Matilda
Publicado: (2025)

Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
por: Proietti, Carlo, et al.
Publicado: (2025)

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

On propositional logic semirings
por: Li, Wenxi, et al.
Publicado: (2024)

Evaluation trees for proposition algebra
por: Bergstra, Jan A., et al.
Publicado: (2015)

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

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

Convex Team Logics
por: Anttila, Aleksi, et al.
Publicado: (2025)

Intuitionistic Common Knowledge
por: Zenger, Lukas
Publicado: (2026)

Classification and deontic explosion for contrary-to-duty obligations
por: Kjos-Hanssen, Bjørn
Publicado: (2026)

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

Swap Kripke models for deontic LFIs
por: Vaz, Mahan, et al.
Publicado: (2025)

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

Probabilistic consequence relations
por: Égré, Paul, et al.
Publicado: (2024)