UNIVERSAL 1ST ORDER DEFINABILITY IN MODAL LOGIC

被引：4

|

作者：

JENNINGS, RE

JOHNSTON, DK

SCHOTCH, PK

机构：

来源：

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1980年 / 26卷 / 04期

关键词：

D O I：

10.1002/malq.19800261904

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

下载

收藏

页码：327 / 330

页数：4

相关论文

共 50 条

[11] STONE DUALITY FOR 1ST ORDER LOGIC
MAKKAI, M
ADVANCES IN MATHEMATICS, 1987, 65 (02) : 97 - 170
[12] First-Order Modal Logic: Frame Definability and a Lindstrom Theorem
Zoghifard, R.
Pourmahdian, M.
STUDIA LOGICA, 2018, 106 (04) : 699 - 720
[13] DEFINABILITY BY DETERMINISTIC AND NONDETERMINISTIC PROGRAMS (WITH APPLICATIONS TO 1ST-ORDER DYNAMIC LOGIC)
KFOURY, AJ
INFORMATION AND CONTROL, 1985, 65 (2-3): : 98 - 121
[14] Characterizations of Negative Definability in Modal Logic
Hollenberg M.
Studia Logica, 1998, 60 (3) : 357 - 386
[15] Algorithmic Definability and Completeness in Modal Logic
Vakarelov, Dimiter
FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2010, 5956 : 6 - 8
[16] FRAGMENTS OF 1ST-ORDER LOGIC .1. UNIVERSAL HORN LOGIC
MCNULTY, GF
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (02) : 221 - 237
[17] PROOF ALGORITHMS FOR 1ST ORDER FUNCTIONAL LOGIC
VEENKER, G
COMPUTING, 1967, 2 (03) : 263 - &
[18] A NOTE ON THE INTERPOLATION THEOREM IN 1ST ORDER LOGIC
WEAVER, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (03): : 215 - 218
[19] A NOTE ON THE COMPACTNESS THEOREM IN 1ST ORDER LOGIC
WEAVER, G
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (02): : 111 - 113
[20] 1ST ORDER PREDICATE LOGIC WITH GENERALIZED QUANTIFIERS
LINDSTROM, P
THEORIA, 1966, 32 : 186 - 195

← 1 2 3 4 5 →