Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics

Logic Journal of the IGPL 4 (3):417-426 (1996)
  Copy   BIBTEX

Abstract

We extend the monotonic and regular modal logics to the multi-modal cue, and give semantical characterization w.r.t. a semantics of minimal frames. For this we introduce a calculus over neighbourhoods and we obtain simpler conditions than those from the literature

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/4.3.417

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,270

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Formal Characterisation Of Institutionalised Power.Andrew Jones & Marek Sergot - 1996 - Logic Journal of the IGPL 4 (3):427-443.
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Monotonic modal logics with a conjunction.Paula Menchón & Sergio Celani - 2021 - Archive for Mathematical Logic 60 (7):857-877.
Quantification in Some Non-normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.
Neighbourhood Semantics for Graded Modal Logic.Jinsheng Chen, Hans Van Ditmarsch, Giuseppe Greco & Apostolos Tzimoulis - 2021 - Bulletin of the Section of Logic 50 (3):373-395.
Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic.Judit X. Madarász - 1998 - Journal of Applied Non-Classical Logics 8 (1):67-105.
Neighbourhood Semantics for Modal Relevant Logics.Nicholas Ferenz & Andrew Tedder - 2023 - Journal of Philosophical Logic 52 (1):145-181.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
On regular modal logics with axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown

Analytics

Added to PP
2015-02-04

Downloads
32 (#710,849)

6 months
4 (#1,260,583)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references