Buchumschlag

Ultrafilter Extensions for Veltman Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gonzalez, Felix Frigola, Joosten, Joost J., Arroyo, Vicent Navarro, Brogi, Cosimo Perini
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
von: Arroyo, Vicent Navarro
Veröffentlicht: (2026)

On the Contingency of Logic in Possible World Semantics
von: van der Giessen, Iris, et al.
Veröffentlicht: (2025)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2020)

Weak, Strong and Mixed Extensions of Relations to Spaces of Ultrafilters
von: Leonardo Raffaello Maximilian Gasparro, et al.
Veröffentlicht: (2026)

Shelah Ultrafilters
von: Balderas, Emmanuel, et al.
Veröffentlicht: (2025)

Universal Algebra in UniMath
von: Amato, Gianluca, et al.
Veröffentlicht: (2021)

On Ultrapowers and Cohesive Ultrafilters
von: Benhamou, Tom
Veröffentlicht: (2024)

Ultrafilter extensions of bounded graphs are elementary
von: Molnár, Zalán
Veröffentlicht: (2024)

Applications of the Magidor Iteration to Ultrafilter Theory
von: Benhamou, Tom, et al.
Veröffentlicht: (2024)

Ultrafilters over Successor Cardinals and the Tukey Order
von: Benhamou, Tom, et al.
Veröffentlicht: (2025)

Saturation Properties of Ultrafilters in Canonical Inner Models
von: Benhamou, Tom
Veröffentlicht: (2022)

Feferman Interpretability
von: Joosten, Joost J., et al.
Veröffentlicht: (2024)

The Complexity of the Constructive Master Modality
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2026)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

A Small Ultrafilter Number at Every Singular Cardinal
von: Benhamou, Tom, et al.
Veröffentlicht: (2023)

The Provably Total Set-Recursive Functions of KPl
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

A tree rewriting system for the Reflection Calculus
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2024)

Coherency through formalisations of Structured Natural Language, A case study on FRETish
von: Joosten, Joost J., et al.
Veröffentlicht: (2026)

Ultrafilters in the random real model
von: Dow, Alan, et al.
Veröffentlicht: (2025)

Various Properties of Various Ultrafilters, Various Graph Width Parameters, and Various Connectivity Systems (with Survey)
von: Fujita, Takaaki
Veröffentlicht: (2024)

A Sequent Calculus Perspective on Base-Extension Semantics (Technical Report)
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Capability Safety as Datalog: A Foundational Equivalence
von: Spera, Cosimo
Veröffentlicht: (2026)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Definable Coherent Ultrapowers and Elementary Extensions
von: Boney, Will
Veröffentlicht: (2016)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

Formalization of the Filter Extension Principle (FEP) in Coq
von: Dou, Guowei, et al.
Veröffentlicht: (2024)

Some Epistemic Extensions of Gödel Fuzzy Logic
von: Dastgheib, D., et al.
Veröffentlicht: (2016)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
von: Brogni, Anthony, et al.
Veröffentlicht: (2023)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Inferentialist Resource Semantics
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)