Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Arroyo, Vicent Navarro
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Axiomatizing logics of finite Gödel-Kripke models
por: Vidal, Amanda, et al.
Publicado: (2026)

Ultrafilter Extensions for Veltman Semantics
por: Gonzalez, Felix Frigola, et al.
Publicado: (2026)

Modal definability in Kripke's theory of truth
por: Walsh, James
Publicado: (2024)

Adequate conditionals and Kripke's theory of truth
por: Stern, Johannes
Publicado: (2024)

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

An essentially algebraic glance to Kripke semantics: the S5 case
por: De Berardinis, Matteo, et al.
Publicado: (2025)

Tableaux for epistemic Gödel logic
por: Bílková, Marta, et al.
Publicado: (2025)

Gödel's Program in Set Theory
por: Müller, Sandra, et al.
Publicado: (2024)

Finite Kripke models and provability interpretations in quantified modal logic
por: Kogure, Haruka, et al.
Publicado: (2026)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
por: Livson, Ori, et al.
Publicado: (2025)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
por: McCallum, Rupert
Publicado: (2026)

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

Some Epistemic Extensions of Gödel Fuzzy Logic
por: Dastgheib, D., et al.
Publicado: (2016)

On Fidel Vakarelov construction for Monadic Godel algebras
por: Alonso, Maria Valentina, et al.
Publicado: (2024)

Two-dimensional Kripke Semantics I: Presheaves
por: Kavvos, G. A.
Publicado: (2024)

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

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
por: de Groot, Jim, et al.
Publicado: (2021)

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

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
por: Ma, Zhifeng, et al.
Publicado: (2024)

Simple tableaux for two expansions of Gödel modal logic
por: Bilkova, Marta, et al.
Publicado: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
por: Frittella, Sabine, et al.
Publicado: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
por: Suzuki, Yudai, et al.
Publicado: (2024)

On the Contingency of Logic in Possible World Semantics
por: van der Giessen, Iris, et al.
Publicado: (2025)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
por: Bilkova, Marta, et al.
Publicado: (2023)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
por: Herbelin, Hugo, et al.
Publicado: (2024)

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

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

Two-dimensional Kripke Semantics II: Stability and Completeness
por: Kavvos, G. A.
Publicado: (2024)

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

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

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

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

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

Degree of Kripke-incompleteness of Tense Logics
por: Chen, Qian
Publicado: (2025)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
por: Kikot, Stanislav, et al.
Publicado: (2017)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
por: Lorenz Halbeisen, et al.
Publicado: (2024)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
por: Coniglio, M. E., et al.
Publicado: (2026)

A Note on Los's Theorem for Kripke-Joyal Semantics
por: Aiguier, Marc, et al.
Publicado: (2024)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
por: Gheorghiu, Alexander V., et al.
Publicado: (2023)