The modal logic of inequality

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

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

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
227 (#51,331)

6 months
2 (#259,476)

Historical graph of downloads
How can I increase my downloads?

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 - 1989 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. 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

Citations of this work

Multi-Dimensional Modal Logic.Maarten Marx - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
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.

View all 29 citations / Add more citations

Similar books and articles

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.