A New Semantics for Positive Modal Logic

&
Notre Dame Journal of Formal Logic 38 (1):1-18 (1997)
  Copy   BIBTEX

Abstract

The paper provides a new semantics for positive modal logic using Kripke frames having a quasi ordering on the set of possible worlds and an accessibility relation connected to the quasi ordering by the conditions (1) that the composition of with is included in the composition of with and (2) the analogous for the inverse of and . This semantics has an advantage over the one used by Dunn in "Positive modal logic," Studia Logica (1995) and works fine for extensions of the minimal system of normal positive modal logic

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1039700693

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Interpretations of intuitionist logic in non-normal modal logics.Colin Oakes - 1999 - Journal of Philosophical Logic 28 (1):47-60.
Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
On Quantified Modal Logic.Melvin Fitting - unknown
Representing Counterparts.Andrew Bacon - 2014 - Australasian Journal of Logic 11 (2):90-113.
Modal logic from Kant to possible worlds semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Elementary definability and completeness in general and positive modal logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
The Modal Logic of Inequality.Maarten De Rijke - 1992 - Journal of Symbolic Logic 57 (2):566 - 584.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
A logic for epistemic two-dimensional semantics.Peter Fritz - 2013 - Synthese 190 (10):1753-1770.
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.

Analytics

Added to PP
2010-08-24

Downloads
60 (#262,432)

6 months
16 (#148,627)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.

View all 16 citations / Add more citations

References found in this work

Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.

Add more references