Abstract | ||
---|---|---|
The Gödel-Tarski operation that prefixes the necessity symbol to every subformula is a sound and faithful translation of intuitionistic propositional logic into modal logic S4. We characterize modal formulas equivalent in S4 to Gödel-Tarski translations of intuitionistic propositional formulas. It would be interesting to obtain a similar characterization for intuitionistic predicate formulas. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-30743-0_33 | Correct Reasoning |
Keywords | Field | DocType |
del-tarski operation,modal formulas equivalent,del-tarski translation,intuitionistic propositional formula,modal logic s4,similar characterization,necessity symbol,intuitionistic propositional logic,intuitionistic predicate formula,faithful translation,intuitionistic logic,modal logic | Intuitionistic logic,Atomic formula,Discrete mathematics,Predicate variable,Algebra,Zeroth-order logic,Modal logic,Well-formed formula,Intermediate logic,Propositional variable,Mathematics | Conference |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |