Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Logic and Foundations
Craig Interpolation For Networks Of Sentences, H Jerome Keisler, Jeffrey M. Keisler
Craig Interpolation For Networks Of Sentences, H Jerome Keisler, Jeffrey M. Keisler
Jeffrey Keisler
The Craig Interpolation Theorem can be viewed as saying that in first order logic, two agents who can only communicate in their common language can cooperate in building proofs. We obtain generalizations of the Craig Interpolation Theorem for finite sets of agents with the following properties. (1) The agents are vertices of a directed graph. (2) The agents have knowledge bases with overlapping signatures. (3) The agents can only communicate by sending to neighboring agents sentences that they know and that are in the common language of the two agents.