Simple example of weak modal logic based on intuitionistic core

06/25/2018
by   Tomasz Witczak, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/23/2018

Propositional modal logic with implicit modal quantification

Propositional term modal logic is interpreted over Kripke structures wit...
research
03/26/2018

A many-sorted polyadic modal logic

This paper presents a many-sorted polyadic modal logic that generalizes ...
research
08/19/2019

Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

In two earlier papers we derived congruence formats with regard to trans...
research
01/04/2020

Restricted Rules of Inference and Paraconsistency

We present here two logical systems - intuitionistic paraconsistent weak...
research
07/11/2023

Simple Axioms for Local Properties

Correspondence theory allows us to create sound and complete axiomatizat...
research
09/20/2018

Complete Additivity and Modal Incompleteness

In this paper, we tell a story about incompleteness in modal logic. The ...
research
07/14/2022

A fundamental non-classical logic

We give a proof-theoretic as well as a semantic characterization of a lo...

Please sign up or login with your details

Forgot password? Click here to reset