preprint Open access

Simple example of weak modal logic based on intuitionistic core

  • arXiv (Cornell University)
  • Cornell University
Research footprint

At a glance

Citations
1
References
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
Community

Comments

Log in to join the discussion.

  1. No comments yet. Start the discussion.