THE MODAL LOGIC OF INEQUALITY

被引：47

作者：

DERIJKE, M

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1992年 / 57卷 / 02期

关键词：

D O I：

10.2307/2275293

中图分类号：

O1 [数学];

学科分类号：

0701 [数学]; 070101 [基础数学];

摘要：

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.

引用

页码：566 / 584

页数：19

共 22 条

[1]

Ackermann W., 1954, SOLVABLE CASES DECIS

[2]

Blackburn P., 1990, THESIS U EDINBURGH E, P1990

[3]

CHANG C. C., 1973, MODEL THEORY

[4]

DESMIT B, 1990, UNPUB COMPLEXITY MOD

[5]

Gabbay D.M., 1981, ASPECTS PHILOS LOGIC, P67

[6]

Gargov G., 1987, MATH LOGIC ITS APPL, P253

[7]

GARGOV G, 1989, MODAL LOGIC NAMES

[8]

GOLDBLATT R., 1974, LECT NOTES MATH, V450, P163

[9]

Goranko V., 1990, Notre Dame Journal of Formal Logic, V31, P81, DOI 10.1305/ndjfl/1093635335

[10]

GORANKO V, 1990, USING UNIVERSAL MODA

← 1 2 3 →