The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
2answers
45 views

Mapping intuitionistic logic to the modal logic S4

In his famous Semantical Analysis of Intuitionistic Logic, S. Kripke speaks of the "well-known mappings of intuitionistic logic into the modal system S4". I'm not sure which mappings Kripke means. One ...