|
|||||
|
|
FLAGG AND FRIEDMAN'S TRANSLATION IS NOT FAITHFUL |
|
| Authors: | Takao Inou ,T. Inou |
| Affiliation: | Takao Inoué,T. Inoué |
| Abstract: | We prove that Flagg and Friedman's translation from epistemic to intuitionistic predicate (propositional) logics is not faithful. |
| Keywords: | Epistemic logic intuitionistic logic modal logic |