A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems
Logic in Computer Science
2015-11-24 v1
Abstract
We report our findings on the properties of Flagg and Friedman's translation from Epistemic into Intuitionistic logic, which was proposed as the basis of a comprehensive proof method for the faithfulness of the Goodel translation. We focus on the propositional case and raise the issue of the admissibility of the translated necessitation rule. Then, we contribute to Flagg and Friedman's program by giving an explicit proof of the soundness of their translation.
Keywords
Cite
@article{arxiv.1511.07319,
title = {A Note on Flagg and Friedman's Epistemic and Intuitionistic Formal Systems},
author = {Alessandro Provetti and Andrea Zucchellini},
journal= {arXiv preprint arXiv:1511.07319},
year = {2015}
}
Comments
Under evaluation by Annals of Pure and Applied Logic