Cover Image

Forcing and Interpolation in first-order hybrid Logic with rigid symbols

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Găină, Daniel, Hashimoto, Go
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model-theoretic Forcing in Transition Algebra
by: Hashimoto, Go, et al.
Published: (2025)

Forcing, Transition Algebras, and Calculi
by: Go, Hashimoto, et al.
Published: (2024)

Foundations of logic programming in hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

Birkhoff style proof systems for hybrid-dynamic quantum logic
by: Gaina, Daniel
Published: (2024)

A formulation of D-institution using functor categories
by: Hashimoto, Go
Published: (2026)

Induction rules for Transition Algebra
by: Hashimoto, Go
Published: (2026)

Interpolation in First-Order Logic
by: Cate, Balder ten, et al.
Published: (2025)

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

Six Proofs of Interpolation for the Modal Logic K
by: Bezhanishvili, Nick, et al.
Published: (2025)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Computation of Interpolants for Description Logic Concepts in Hard Cases
by: Jung, Jean Christoph, et al.
Published: (2025)

Hybrid-Dynamic Ehrenfeucht-Fraisse Games
by: Badia, Guillermo, et al.
Published: (2024)

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic
by: Kurucz, Agi, et al.
Published: (2023)

First-order Logic with Being a Thesis Modal Operator
by: Łyczak, Marcin
Published: (2024)

On semantics of first-order justification logic with binding modalities
by: Yavorskaya, Tatiana, et al.
Published: (2025)

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

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

The Size of Interpolants in Modal Logics
by: Cate, Balder ten, et al.
Published: (2025)

Craig-Lyndon Interpolation for the Logic of Here and There with a Variation of Mints' Sequent System
by: Wernhard, Christoph
Published: (2026)

Interpolation in Non-Classical Logics
by: Fussner, Wesley
Published: (2025)

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

Proof Scores: A Survey (full version)
by: Riesco, Adrian, et al.
Published: (2025)

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
by: Oda, Yukihiro, et al.
Published: (2021)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
by: Heuer, Jan, et al.
Published: (2024)

Making first order linear logic a generating grammar
by: Slavnov, Sergey
Published: (2022)

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

Interpolation in Classical Propositional Logic
by: Koopmann, Patrick, et al.
Published: (2025)

On first-order transductions of classes of graphs
by: Braunfeld, Samuel, et al.
Published: (2022)

Pitts and Intuitionistic Multi-Succedent: Uniform Interpolation for KM
by: Férée, Hugo, et al.
Published: (2026)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
by: Gaßner, Christine
Published: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
by: Gaßner, Christine
Published: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Computation and Size of Interpolants for Hybrid Modal Logics
by: Jung, Jean Christoph, et al.
Published: (2026)

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

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

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