Imagen de Portada

Axiomatizing logics of finite Gödel-Kripke models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Vidal, Amanda, Rodriguez, Ricardo O.
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

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

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

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

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

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)

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

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

On the local consequence of modal Product logic: standard completeness and decidability
por: Vidal, Amanda
Publicado: (2023)

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

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

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)

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

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

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

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

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

Axiomatization of Büchi arithmetic
por: Kovalyov, Konstantin
Publicado: (2024)

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
por: Přenosil, Adam
Publicado: (2024)

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)

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)

Arboreal Categories: An Axiomatic Theory of Resources
por: Abramsky, Samson, et al.
Publicado: (2021)

The finite frame property of some extensions of the pure logic of necessitation
por: Kurahashi, Taishi, et al.
Publicado: (2023)

Rotations of Gödel algebras with modal operators
por: Flaminio, Tommaso, et al.
Publicado: (2024)

Dynamic Probability Logics: Axiomatization & Definability
por: Chopoghloo, Somayeh, et al.
Publicado: (2024)

Canonicity in power and modal logics of finite achronal width
por: Goldblatt, Robert, et al.
Publicado: (2022)

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

On the expressive power of inquisitive team logic and inquisitive first-order logic
por: Kontinen, Juha, et al.
Publicado: (2026)

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

Axiomatic Theory of Independence Relations in Model Theory
por: d'Elbée, Christian
Publicado: (2023)

Axiomatic theories of supervaluational truth: completing the picture
por: Dopico, Pablo, et al.
Publicado: (2024)

Axiomatizing Rumsfeld Ignorance
por: Fan, Jie
Publicado: (2025)

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

Axiomatizing the Logic of Ordinary Discourse
por: Greati, Vitor, et al.
Publicado: (2024)

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

Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
por: Jarmuzek, Tomasz, et al.
Publicado: (2024)