The modal logic of inequality

Journal of Symbolic Logic 57 (2):566-584 (1992)
  Copy   BIBTEX

Abstract

We consider some modal languages with a modal operator $D$ whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at

Categories

Keywords

Reprint years

DOI

10.2307/2275293

Links

PhilArchive



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

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

Review: Patrick Blackburn, Maarten de Rijke, Yde Venema, Modal Logic. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
The Modal Logic of Inequality.Maarten De Rijke - 1992 - Journal of Symbolic Logic 57 (2):566 - 584.
A note on graded modal logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.
A Note on Graded Modal Logic.Maarten De Rijke - 2000 - Studia Logica 64 (2):271 - 283.
Generalized quantifiers and modal logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.

Analytics

Added to PP
2009-01-28

Downloads
242 (#83,578)

6 months
7 (#430,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multi-dimensional modal logic.Maarten Marx - 1997 - Boston, Mass.: Kluwer Academic Publishers. Edited by Yde Venema.
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.

View all 36 citations / Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
Quantifiers in formal and natural languages.Dag Westerståhl - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 1--131.
Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.

View all 9 references / Add more references