Classical logic can be interpreted modally

the verdict

SUPPORTED

the evidence backs this

Recorded sources

3 sources for · 0 against

Counts group repeated records of the same source within each side. They do not measure evidence strength or source independence.

Is it true that classical logic can be interpreted modally?

Yes. Classical logic and related non-classical systems can indeed be interpreted modally via established translations such as Gödel's mappings into modal systems like S4.

Verdict: SUPPORTED · 3 sources for, 0 against · Last checked 5 Aug 2026

The analysis

Multiple papers discuss and demonstrate the translation and interpretation of classical and related logics using modal frameworks, specifically citing historical and modern results by Gödel, McKinsey, and Tarski. No papers refute the claim.

Evidence for · 3

A modal logic amalgam of classical and intuitionistic propositional logic

2013

Lewitzka (2013) extends modal translations to incorporate classical modal logics that amalgamate classical and intuitionistic systems.

Get citation

Lewitzka, S. (2013). A modal logic amalgam of classical and intuitionistic propositional logic. doi.org. https://doi.org/10.1093/logcom/exv048

See more details

More for · 2

A CLASSICAL-MODAL INTERPRETATION OF SMOOTH INFINITESIMAL ANALYSIS

2025

The classical-modal interpretation treats operators within modal systems like S4 to establish interpretations for non-classical systems.

Get citation

Hellman, G. & Shapiro, S. (2025). A CLASSICAL-MODAL INTERPRETATION OF SMOOTH INFINITESIMAL ANALYSIS. doi.org. https://doi.org/10.1017/S1755020324000169

Gödel's modal interpretation of intuitionistic logic and its proof theory.

2025

Gödel's modal interpretation explicitly establishes translations and relationships between intuitionistic and classical modal frameworks.

Get citation

J, v. P. (2025). Gödel's modal interpretation of intuitionistic logic and its proof theory.. doi.org. https://doi.org/10.1007/s00605-025-02083-0

Related receipts

Is it true that true and false are the only two truth values in classical logic? SUPPORTED related question, same topic
Is it true that the principle of explosion is provable in classical logic? SUPPORTED related question, same topic

What does the evidence say?

Receipt History

first checked05 Aug 2026

judged → SUPPORTED · 8205 Aug 2026

Anyone with this link can read the claim and its public receipt, including any personal information in that text. Open permanent receipt.

Check your own claim

Challenge the receipt

I have a source that contradicts this verdict I have a source that supports it No source: request a receipt review Requests are recorded for review. This does not start an automatic check or guarantee a response time.

See the evidence timeline

Citation formatting by citeproc-js (Frank Bennett) and the Citation Style Language project. Source and licenses.

This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work