Buchumschlag

Epstein Semantics: Characterization, Interpolation, Undefinability, and (In)Completeness

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Krawczyk, Krzysztof A.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B60
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Maehara Interpolation in Extensions of R-mingle
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Completeness in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Completeness of Tableau Calculi for Two-Dimensional Hybrid Logics
von: Nishimura, Yuki
Veröffentlicht: (2022)

Tarski's Undefinability Theorem and first-order arithmetic
von: Boyce, Stephen
Veröffentlicht: (2010)

Compactness in Team Semantics
von: Puljujärvi, Joni, et al.
Veröffentlicht: (2022)

Multiplicative logic in arithmetic
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

Strong Negation is Definable in 2Int
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2025)

Convex Team Logics
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Expressibility and inexpressibility in propositional team logics
von: Häggblom, Matilda, et al.
Veröffentlicht: (2025)

Possible and impossible conditionals for team logics
von: Barbero, Fausto, et al.
Veröffentlicht: (2026)

Capturing dual team properties with inclusion atoms
von: Häggblom, Matilda
Veröffentlicht: (2026)

Axiomatizing modal inclusion logic and its variants
von: Anttila, Aleksi, et al.
Veröffentlicht: (2023)

Equivalence of finite non-deterministic logical matrices is undecidable
von: Caleiro, Carlos, et al.
Veröffentlicht: (2024)

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

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Topological semantics for a non-self-extensional LFI
von: Jain, Esha, et al.
Veröffentlicht: (2025)

There are (other) ways to negate in propositional team semantics
von: Yang, Fan
Veröffentlicht: (2024)

Tableau Proof Systems for Justification Logics
von: Ghari, Meghdad
Veröffentlicht: (2014)

Retractors in local positive logic
von: Fanlo, Arturo Rodriguez, et al.
Veröffentlicht: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

A Self-Reflecting Formal Language
von: Patrakeev, Mikhail
Veröffentlicht: (2023)

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

State-based Modal Logics for Free Choice
von: Aloni, Maria, et al.
Veröffentlicht: (2023)

Paracomplete Probabilities
von: Basu, Sankha S., et al.
Veröffentlicht: (2025)

Strongly First Order Disjunctive Embedded Dependencies in Team Semantics
von: Galliani, Pietro
Veröffentlicht: (2025)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
von: Citkin, Alex, et al.
Veröffentlicht: (2025)

Avoiding logical strength in real analysis
von: Freund, Anton, et al.
Veröffentlicht: (2026)

The amalgamation property and Urysohn structures in continuous logic
von: Gao, Su, et al.
Veröffentlicht: (2023)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
von: Hartonas, Chrysafis
Veröffentlicht: (2023)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Blok-Esakia Theorems via Stable Canonical Rules
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2022)

On the structure of Bochvar algebras
von: Bonzio, Stefano, et al.
Veröffentlicht: (2023)

The complexity of being monitorable
von: Camerlo, Riccardo, et al.
Veröffentlicht: (2026)

Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
von: Zantedeschi, Daniel
Veröffentlicht: (2026)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
von: Inoué, Takao, et al.
Veröffentlicht: (2024)

Two strong undefinability results in inquisitive and team semantics
von: Barbero, Fausto
Veröffentlicht: (2024)

Reasoning Around Paradox with Grounded Deduction
von: Ford, Bryan
Veröffentlicht: (2024)

Kripke-like models of Set Theory in Modal Residuated Logic
von: Moncayo, Jose, et al.
Veröffentlicht: (2024)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
von: Erdélyi-Szabó, Miklós
Veröffentlicht: (2024)