Interpolation in modal logic

被引：0

作者：

Marx, M ^{[1
]}

机构：

[1] Univ Amsterdam, Inst Log Language & Informat, Amsterdam, Netherlands

来源：

ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY | 1999年 / 1548卷

关键词：

interpolation; modal logic (of knowledge and belief); fibering;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easy-to-check conditions on the logic which imply interpolation. We apply this result to fibering of modal fogies and to modal logics of knowledge and belief.

引用

页码：154 / 163

页数：10

共 50 条

[21] MODAL LOGIC OF QUANTUM LOGIC
MITTELSTAEDT, P
JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 479 - 504
[22] Modal Logic As Dialogical Logic
Patrick Blackburn
Synthese, 2001, 127 : 57 - 93
[23] Modal logic as dialogical logic
Blackburn, P
SYNTHESE, 2001, 127 (1-2) : 57 - 93
[24] MODAL LOGIC AND LOGIC OF APPLICABILITY
PRIOR, AN
THEORIA, 1968, 34 : 183 - 202
[25] Modal Logic
Venema, Y
PHILOSOPHICAL REVIEW, 2000, 109 (02): : 286 - 289
[26] MODAL LOGIC
SPENCERSMITH, R
ARTIFICIAL INTELLIGENCE REVIEW, 1991, 5 (1-2) : 5 - 34
[27] MODAL LOGIC
LUCAS, T
REVUE PHILOSOPHIQUE DE LOUVAIN, 1985, 83 (60) : 585 - 604
[28] PROGRAMMING IN MODAL LOGIC - AN EXTENSION OF PROLOG BASED ON MODAL LOGIC
SAKAKIBARA, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 264 : 81 - 91
[29] MODAL LOGIC AND THE THEORY OF MODAL AGGREGATION
SCHOTCH, PK
JENNINGS, RE
PHILOSOPHIA, 1980, 9 (02) : 265 - 278
[30] Interpolation in fuzzy logic
Baaz, M
Veith, H
ARCHIVE FOR MATHEMATICAL LOGIC, 1999, 38 (07) : 461 - 489

← 1 2 3 4 5 →