Simple example of weak modal logic based on intuitionistic core
Logic
2018-06-26 v1 Logic in Computer Science
Abstract
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 monotonicity do not hold. It has complete semantics composed of possible worlds equipped with neighborhoods and pre-order relation. We discuss certain restrictions imposed on those structures. Also, we present characterization of axiom 4 known from logic S4.
Keywords
Cite
@article{arxiv.1806.09443,
title = {Simple example of weak modal logic based on intuitionistic core},
author = {Tomasz Witczak},
journal= {arXiv preprint arXiv:1806.09443},
year = {2018}
}
Comments
One of the first attempt to create non-normal (and, in general, very weak) intuitionistic modal logic