Buchumschlag

Uniform interpolation with constructive diamond

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	van der Giessen, Iris, Shillito, Ian
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
von: Férée, Hugo, et al.
Veröffentlicht: (2026)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
von: van der Giessen, Iris, et al.
Veröffentlicht: (2023)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

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

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
von: de Groot, Jim, et al.
Veröffentlicht: (2026)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

Interpolation in Proof Theory
von: van der Giessen, Iris, et al.
Veröffentlicht: (2026)

Uniform Agent-interpolation of Distributed Knowledge
von: Su, Youan
Veröffentlicht: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
von: Tabatabai, Amirhossein Akbar, et al.
Veröffentlicht: (2018)

Degrees of incomputability, realizability and constructive reverse mathematics
von: Kihara, Takayuki
Veröffentlicht: (2020)

Bi-intuitionistic logics through the abstract algebraic logic lens
von: Deakin, Jonte, et al.
Veröffentlicht: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Dependence Logics in Temporal Settings
von: Baltag, Alexandru, et al.
Veröffentlicht: (2022)

Deciding Equations in the Time Warp Algebra
von: van Gool, Sam, et al.
Veröffentlicht: (2023)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

The interpolant existence problem for weak K4 and difference logic
von: Kurucz, Agi, et al.
Veröffentlicht: (2024)

Uniform interpolation for interpretability logic
von: Horvat, Sebastijan, et al.
Veröffentlicht: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
von: Amato, Gianluca, et al.
Veröffentlicht: (2024)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
von: van Collem, Simcha, et al.
Veröffentlicht: (2025)

A proof-theoretic approach to uniform interpolation property of multi-agent modal logic
von: Su, Youan
Veröffentlicht: (2025)

Uniform Interpolation in Distributed Knowledge Modal Logics
von: Wang, Kexu, et al.
Veröffentlicht: (2026)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
von: Sofronie-Stokkermans, Viorica
Veröffentlicht: (2025)

Uniform Preorders and Partial Combinatory Algebras
von: Frey, Jonas
Veröffentlicht: (2024)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
von: Zeyen, Olivier, et al.
Veröffentlicht: (2025)

Translating Workflow Nets into the Partially Ordered Workflow Language
von: Kourani, Humam, et al.
Veröffentlicht: (2025)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
von: Suilen, Marnix, et al.
Veröffentlicht: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
von: Bronsveld, Steven, et al.
Veröffentlicht: (2025)

Robust Almost-Sure Reachability in Multi-Environment MDPs
von: van der Vegt, Marck, et al.
Veröffentlicht: (2023)

Between proof construction and SAT-solving
von: Schubert, Aleksy, et al.
Veröffentlicht: (2024)

Generalized Decidability via Brouwer Trees
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
von: Coquand, Thierry, et al.
Veröffentlicht: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
von: Antonelli, Melissa, et al.
Veröffentlicht: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
von: Wang, Shanxia
Veröffentlicht: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
von: Geuvers, Herman
Veröffentlicht: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
von: Wang, Shanxia
Veröffentlicht: (2026)

Decidability of Quantum Modal Logic
von: Tokuo, Kenji
Veröffentlicht: (2026)