Copertina

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Férée, Hugo, Shillito, Ian
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
di: de Groot, Jim, et al.
Pubblicazione: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Uniform interpolation with constructive diamond
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
di: de Groot, Jim, et al.
Pubblicazione: (2026)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Intuitionistic monotone modal logic via translation
di: de Groot, Jim
Pubblicazione: (2025)

On the Cut Elimination of Weak Intuitionistic Tense Logic
di: Wang, Yiheng, et al.
Pubblicazione: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
di: Buzoku, Yll, et al.
Pubblicazione: (2025)

Intuitionistic modal logics: a minimal setting
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

A uniform characterisation of the (a)synchronous must-preorder
di: Bernardi, Giovanni, et al.
Pubblicazione: (2026)

Cut-free Deductive System for Continuous Intuitionistic Logic
di: Geoffroy, Guillaume
Pubblicazione: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
di: Marin, Sonia, et al.
Pubblicazione: (2025)

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

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

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

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
di: Mojtahedi, Mojtaba, et al.
Pubblicazione: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
di: Lyon, Tim S.
Pubblicazione: (2022)

Uniform Interpolation in Distributed Knowledge Modal Logics
di: Wang, Kexu, et al.
Pubblicazione: (2026)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
di: Sofronie-Stokkermans, Viorica
Pubblicazione: (2025)

Interpolation for the two-way modal mu-calculus
di: Kloibhofer, Johannes, et al.
Pubblicazione: (2025)

Skolemisation for Intuitionistic Linear Logic
di: Bruni, Alessandro, et al.
Pubblicazione: (2024)

Intuitionistic Propositional Logic in Lean
di: Trufaş, Dafina
Pubblicazione: (2024)

Intuitionistic BV (Extended version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2024)

Local Intuitionistic Modal Logics and Their Calculi
di: Balbiani, Philippe, et al.
Pubblicazione: (2024)

Around Classical and Intuitionistic Linear Processes
di: Jaramillo, Juan C., et al.
Pubblicazione: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
di: Hartonas, Chrysafis
Pubblicazione: (2025)

Intuitionistic modal logic LIK4 is decidable
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Bi-intuitionistic logics through the abstract algebraic logic lens
di: Deakin, Jonte, et al.
Pubblicazione: (2025)

A Proof-theoretic Semantics for Intuitionistic Linear Logic
di: Buzoku, Yll
Pubblicazione: (2024)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
di: Balbiani, Philippe
Pubblicazione: (2025)

Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)

Collapsing Constructive and Intuitionistic Modal Logics
di: Pacheco, Leonardo
Pubblicazione: (2024)