A DEFINITIVE" PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC

被引：1

|

作者：

BENDALL, K

机构：

来源：

JOURNAL OF PHILOSOPHICAL LOGIC | 1982年 / 11卷 / 03期

关键词：

D O I：

10.1007/BF00293430

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

收藏

页码：255 / 278

页数：24

相关论文

共 50 条

[41] PARALLEL THEORIES AND ROUTINE REVISION IN 1ST-ORDER LOGIC
STAHL, G
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (05): : 457 - 459
[42] A PHILOSOPHICAL COMPANION TO 1ST-ORDER LOGIC - HUGHES,RIG
LOWE, EJ
[J]. HISTORY AND PHILOSOPHY OF LOGIC, 1994, 15 (02) : 255 - 256
[43] POSITIVE 1ST-ORDER LOGIC IS NP-COMPLETE
KOZEN, D
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1981, 25 (04) : 327 - 332
[44] EXTENDING ABDUCTION FROM PROPOSITIONAL TO 1ST-ORDER LOGIC
MARQUIS, P
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 535 : 141 - 155
[45] A FRAGMENT OF 1ST-ORDER LOGIC ADEQUATE FOR OBSERVATION EQUIVALENCE
OGUZTUZUN, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 278 - 292
[46] LOGICAL FOUNDATION FOR LOGIC PROGRAMMING BASED ON 1ST-ORDER LINEAR TEMPORAL LOGIC
PLIUSKEVICIUS, R
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 391 - 406
[47] MANY-SORTED 1ST-ORDER LOGIC DATABASE LANGUAGE
YANG, JSH
CHIN, YH
CHUNG, CG
[J]. COMPUTER JOURNAL, 1992, 35 (02): : 129 - 137
[48] KNOWLEDGE REPRESENTATION AND INFERENCE BASED ON 1ST-ORDER MODAL LOGIC
IWANUMA, K
HARAO, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 315 : 236 - 251
[49] COMBINATORY-LOGIC AS THE 1ST-ORDER MATHEMATICAL-THEORY
JIANG, MD
WEN, H
[J]. CHINESE SCIENCE BULLETIN, 1989, 34 (24): : 2079 - 2083
[50] A SEQUENT CALCULUS FOR A 1ST-ORDER LINEAR TEMPORAL LOGIC WITH EQUALITY
SAKALAUSKAITE, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 430 - 440

← 1 2 3 4 5 →