Image de couverture de livre

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Arroyo, Vicent Navarro
Format:	Preprint
Publié:	2026
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Axiomatizing logics of finite Gödel-Kripke models
par: Vidal, Amanda, et autres
Publié: (2026)

Ultrafilter Extensions for Veltman Semantics
par: Gonzalez, Felix Frigola, et autres
Publié: (2026)

Modal definability in Kripke's theory of truth
par: Walsh, James
Publié: (2024)

Adequate conditionals and Kripke's theory of truth
par: Stern, Johannes
Publié: (2024)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

An essentially algebraic glance to Kripke semantics: the S5 case
par: De Berardinis, Matteo, et autres
Publié: (2025)

Tableaux for epistemic Gödel logic
par: Bílková, Marta, et autres
Publié: (2025)

Gödel's Program in Set Theory
par: Müller, Sandra, et autres
Publié: (2024)

Finite Kripke models and provability interpretations in quantified modal logic
par: Kogure, Haruka, et autres
Publié: (2026)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
par: McCallum, Rupert
Publié: (2026)

Swap Kripke models for deontic LFIs
par: Vaz, Mahan, et autres
Publié: (2025)

Some Epistemic Extensions of Gödel Fuzzy Logic
par: Dastgheib, D., et autres
Publié: (2016)

On Fidel Vakarelov construction for Monadic Godel algebras
par: Alonso, Maria Valentina, et autres
Publié: (2024)

Two-dimensional Kripke Semantics I: Presheaves
par: Kavvos, G. A.
Publié: (2024)

Friedman's $ \mathsf{WD} $ is not parameter-free sequential
par: Murwanashyaka, Juvenal
Publié: (2025)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
par: de Groot, Jim, et autres
Publié: (2021)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
par: Lyon, Tim S.
Publié: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

Simple tableaux for two expansions of Gödel modal logic
par: Bilkova, Marta, et autres
Publié: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
par: Frittella, Sabine, et autres
Publié: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
par: Suzuki, Yudai, et autres
Publié: (2024)

On the Contingency of Logic in Possible World Semantics
par: van der Giessen, Iris, et autres
Publié: (2025)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
par: Bilkova, Marta, et autres
Publié: (2023)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
par: Herbelin, Hugo, et autres
Publié: (2024)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
par: Shamkanov, Daniyar
Publié: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
par: Hayashi, Daichi
Publié: (2024)

Two-dimensional Kripke Semantics II: Stability and Completeness
par: Kavvos, G. A.
Publié: (2024)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
par: Grobner, Harald
Publié: (2026)

Higher-order Kripke models for intuitionistic and non-classical modal logics
par: Barroso-Nascimento, Victor
Publié: (2025)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
par: Hoffelner, Stefan
Publié: (2025)

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
par: Shamkanov, Daniyar
Publié: (2024)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
par: Hoffelner, Stefan
Publié: (2024)

Degree of Kripke-incompleteness of Tense Logics
par: Chen, Qian
Publié: (2025)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
par: Kikot, Stanislav, et autres
Publié: (2017)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
par: Lorenz Halbeisen, et autres
Publié: (2024)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

A Note on Los's Theorem for Kripke-Joyal Semantics
par: Aiguier, Marc, et autres
Publié: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)