@article{8a59cfb7b9b440c497b9ea448d048713,
title = "Observing, reporting, and deciding in networks of sentences",
keywords = "Craig interpolation, Knowledge base, Network, Partition based reasoning, Peer-to-peer inference",
author = "Keisler, \{H. Jerome\} and Keisler, \{Jeffrey M.\}",
year = "2014",
month = mar,
doi = "10.1016/j.apal.2013.10.008",
language = "English",
volume = "165",
pages = "812--836",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier B.V.",
number = "3",
}