Practical extraction of evidence terms from common-knowledge reasoning

DOI10.1016/j.entcs.2015.04.009zbMath1342.68313OpenAlexW2089907340WikidataQ113317804 ScholiaQ113317804MaRDI QIDQ530856

Natalia Novak

Publication date: 1 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2015.04.009

zbMATH Keywords

logic of proofsevidence termslogical puzzlesMetaPRL

Mathematics Subject Classification ID

Uses Software

• MetaPRL

Cites Work

• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• The Surprise Examination or Unexpected Hanging Paradox
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Practical extraction of evidence terms from common-knowledge reasoning