Observing, reporting, and deciding in networks of sentences

DOI10.1016/J.APAL.2013.10.008zbMATH Open1314.68298OpenAlexW2025612431MaRDI QIDQ386149FDOQ386149

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

Recommendations

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

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)

Cites Work

• A mathematical introduction to logic.
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Partition-based logical reasoning for first-order and propositional theories
• Craig interpolation for networks of sentences
• Title not available (Why is that?)

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)