Image de couverture de livre

Goedel Logics: On the Elimination of The Absoluteness Operator

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Baaz, Matthias, Gamsakhurdia, Mariami
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Goedel logics: Prenex fragments
par: Baaz, Matthias, et autres
Publié: (2024)

Skolemization and Decidability of the Bernays-Schoenfinkel Class in Goedel Logics
par: Gamsakhurdia, Mariami, et autres
Publié: (2025)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
par: Wang, Yiheng, et autres
Publié: (2024)

Cut-Elimination for the Bimodal Logic GR
par: Kushida, Hirohiko
Publié: (2026)

Infinitary Cut-Elimination for Non-Wellfounded Parsimonious Linear Logic
par: Acclavio, Matteo, et autres
Publié: (2023)

Absolute convergence and Taylor expansion in web based models of Linear Logic
par: Tasson, Christine, et autres
Publié: (2026)

First-order Logic with Being a Thesis Modal Operator
par: Łyczak, Marcin
Publié: (2024)

Syntactic Cut-Elimination for Provability Logic GL via Nested Sequents
par: Maniwa, Akinori, et autres
Publié: (2024)

Epsilon Calculus Provides Shorter Cut-Free Proofs
par: Baaz, Matthias, et autres
Publié: (2024)

Auto formalisation of Goedel's Second Incompleteness Theorem in Binary Recursive Arithmetic
par: Coquand, Thierry
Publié: (2026)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
par: Accattoli, Beniamino
Publié: (2022)

On Translating Epistemic Operators in a Logic of Awareness
par: Kubono, Yudai
Publié: (2026)

Unifying Graded Linear Logic and Differential Operators
par: Breuvart, Flavien, et autres
Publié: (2024)

Linear Temporal Justification Logics with Past Operators
par: Ghari, Meghdad
Publié: (2018)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

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

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Constructive Quantum Logics
par: Aguilera, Juan P., et autres
Publié: (2025)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

On A Parameterized Theory of Dynamic Logic for Operationally-based Programs
par: Zhang, Yuanrui
Publié: (2026)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Dynamic Cantor Derivative Logic
par: Fernández-Duque, David, et autres
Publié: (2021)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
par: Dagnino, Francesco, et autres
Publié: (2023)

A Logic of Secrecy on Simplicial Models
par: Wang, Shanxia
Publié: (2026)

Dynamic Probability Logic: Decidability & Computability
par: Chopoghloo, Somayeh, et autres
Publié: (2024)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

Extending Action Logic with Omega Iteration
par: Pshenitsyn, Tikhon
Publié: (2025)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

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

Relational semantics for flat Heyting-Lewis Logic
par: de Groot, Jim, et autres
Publié: (2026)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

Hyperarithmetical Complexity of Infinitary Action Logic with Multiplexing
par: Pshenitsyn, Tikhon
Publié: (2023)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)