Positive modal logic

Studia Logica 55 (2):301 - 317 (1995)

Authors
Jon Michael Dunn
Indiana University, Bloomington
Abstract
We give a set of postulates for the minimal normal modal logicK + without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01061239
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,583
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.

View all 10 references / Add more references

Citations of this work BETA

A Modal Translation for Dual-Intuitionistic Logic.Yaroslav Shramko - 2016 - Review of Symbolic Logic 9 (2):251-265.
A Sahlqvist Theorem for Distributive Modal Logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1):65-102.

View all 24 citations / Add more citations

Similar books and articles

The First Axiomatization of Relevant Logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
Elementary Classes in Basic Modal Logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
What One May Come to Know.van Benthem Johan - 2004 - Analysis 64 (2):95–105.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.

Analytics

Added to PP index
2009-01-28

Total views
54 ( #146,027 of 2,249,120 )

Recent downloads (6 months)
15 ( #57,216 of 2,249,120 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature