Buchumschlag

Interpolation in Knowledge Representation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Jung, Jean Christoph, Koopmann, Patrick, Knorr, Matthias
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic in Computer Science 03C40
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Interpolation above S4
von: Santschi, Simon, et al.
Veröffentlicht: (2026)

Interpolation in Non-Classical Logics
von: Fussner, Wesley
Veröffentlicht: (2025)

Revisiting Interpolation in Relevant Logics
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Maehara Interpolation in Extensions of R-mingle
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
von: Wolter, Frank, et al.
Veröffentlicht: (2024)

Interpolation in model theory
von: Väänänen, Jouko
Veröffentlicht: (2025)

From Interpolating Formulas to Separating Languages and Back Again
von: Kurucz, Agi, et al.
Veröffentlicht: (2025)

Interpolation in Classical Propositional Logic
von: Koopmann, Patrick, et al.
Veröffentlicht: (2025)

Implicative models of set theory
von: Maschio, Samuele, et al.
Veröffentlicht: (2023)

Interpolation and the Exchange Rule
von: Fussner, Wesley, et al.
Veröffentlicht: (2023)

A non-uniform view of Craig interpolation in modal logics with linear frames
von: Kurucz, Agi, et al.
Veröffentlicht: (2023)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
von: Kuang, Qipeng, et al.
Veröffentlicht: (2025)

A Reflection Principle for Potential Infinite Models of Type Theory
von: Eberl, Matthias
Veröffentlicht: (2024)

Preservation Theorems Through the Lens of Topology
von: Lopez, Aliaume
Veröffentlicht: (2020)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
von: Kuijer, Louwe, et al.
Veröffentlicht: (2025)

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
von: Kůla, Václav, et al.
Veröffentlicht: (2025)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
von: Sun, Shixin, et al.
Veröffentlicht: (2026)

Coexact completion of profinite Heyting algebras and uniform interpolation
von: Ye, Lingyuan
Veröffentlicht: (2026)

Higher-arity distality and forking triviality
von: Tong, Mervyn
Veröffentlicht: (2026)

Infinitary Logics and Abstract Elementary Classes
von: Shelah, Saharon, et al.
Veröffentlicht: (2020)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
von: Lyon, Tim S.
Veröffentlicht: (2025)

Interpolation in Hájek's Basic Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

A Guide to Krivine Realizability for Set Theory
von: Matthews, Richard
Veröffentlicht: (2023)

Bridging Weighted First Order Model Counting and Graph Polynomials
von: Kuang, Qipeng, et al.
Veröffentlicht: (2024)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Elements of affine model theory
von: Bagheri, Seyed-Mohammad
Veröffentlicht: (2024)

Some contributions to presheaf model theory
von: Brunner, Andreas, et al.
Veröffentlicht: (2024)

Cartagena Logic
von: Kivimäki, Siiri, et al.
Veröffentlicht: (2021)

A modal logic translation of the AGM axioms for belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2025)

On the computability of cofinal Fraïssé limits
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2026)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
von: Liu, Zhangchi
Veröffentlicht: (2025)

Comparing Knowledge: An Analysis of the Relative Epistemic Powers of Groups
von: Alexandru, Baltag, et al.
Veröffentlicht: (2025)

Modal Separability of Fixpoint Formulae
von: Jung, Jean Christoph, et al.
Veröffentlicht: (2024)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
von: Harrison-Trainor, Matthew, et al.
Veröffentlicht: (2022)

A meta-modal logic for bisimulations
von: Burrieza, Alfredo, et al.
Veröffentlicht: (2025)

The Syllogistic with Unity
von: Pratt-Hartmann, Ian
Veröffentlicht: (2011)

Definability of complex functions in o-minimal structures
von: Padgett, Adele, et al.
Veröffentlicht: (2025)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
von: Sato, Yuta
Veröffentlicht: (2025)

Taking model-complete cores
von: Bodirsky, Manuel, et al.
Veröffentlicht: (2025)