Tomasz Witczak

Simple example of weak modal logic based on intuitionistic core

2018 · arXiv (Cornell University)

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. rules of regularity or …