preprint
وصول مفتوح
Simple example of weak modal logic based on intuitionistic core
Research footprint
At a glance
- الاستشهادات
- 1
- المراجع
- 4
- Comments
- 0
Paper overview
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.
Record transparency
Publication details
- DOI
- 10.48550/arxiv.1806.09443
- OpenAlex
- W2811036268
- Document type
- preprint
- Language
- EN
- Source
- arXiv (Cornell University)
- Last metadata update
Comments
تسجيل الدخول للانضمام إلى النقاش.