Observing, reporting, and deciding in networks of sentences

DOI10.1016/J.APAL.2013.10.008MaRDI QIDQ386149zbMATH OpenOpenAlexFDO

Authors H. Jerome Keisler, Jeffrey M. Keisler

Publication date 16 December 2013

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.2013.10.008

zbMATH Keywords

networkknowledge baseCraig interpolationpartition based reasoningpeer-to-peer inference

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Structure of proofs (03F07) Interpolation, preservation, definability (03C40)

Recommendations

• Rough Sets and Current Trends in Computing
• scientific article; zbMATH DE number 5734944
• Knowledge in communication networks
• scientific article; zbMATH DE number 6389581
• A simple account of multi-agent epistemic planning

Cites work

• scientific article; zbMATH DE number 5180199 (Why is no real title available?)
• A mathematical introduction to logic.
• Craig interpolation for networks of sentences
• Partition-based logical reasoning for first-order and propositional theories
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

This page was built for publication: Observing, reporting, and deciding in networks of sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q386149)