Craig interpolation for networks of sentences
From MaRDI portal
Publication:435205
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
Craig interpolationknowledge basepeer-to-peer inferencenetworks of sentencespartition-based reasoning
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