Simple example of weak modal logic based on intuitionistic core

Tomasz Witczak

In this paper we present simple example of propositional logic which has one modal operator and is based on intuitionistic core. This system is very weak in modal sense - e.g. rule…