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
123