Craig interpolation for networks of sentences

DOI10.1016/j.apal.2012.03.001zbMath1252.03089OpenAlexW2030290673MaRDI QIDQ435205

H. Jerome Keisler, Jeffrey M. Keisler

Publication date: 11 July 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.03.001

zbMATH Keywords

Craig interpolationknowledge basepeer-to-peer inferencenetworks of sentencespartition-based reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Classical first-order logic (03B10) Structure of proofs (03F07) Interpolation, preservation, definability (03C40) Agent technology and artificial intelligence (68T42)

Related Items (2)

Observing, reporting, and deciding in networks of sentences ⋮ Craig interpolation in the presence of unreliable connectives

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An interpolation theorem in the predicate calculus
• Uniform interpolation and propositional quantifiers in modal logics
• A semantic approach to interpolation
• The many faces of interpolation
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation in computing science: The semantics of modularization
• A simple algebraic proof of the equational interpolation theorem
• Model theory.
• Partition-based logical reasoning for first-order and propositional theories
• An Interpolation Theorem
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• A probabilistic interpolation theorem
• Interpolation, preservation, and pebble games
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Craig interpolation for networks of sentences