Abstract

The basic modal language into which we embed intuitionistic logic cannot express the difference between exact and inexact verification of a sentence given a state. I describe few ways to expand the language of basic modal logic that allow us to express this difference. The specific expansion needed depends on the intermediate logic we are interested in.