MODEL-THEORY OF PROPOSITIONAL LOGICS OF PROGRAMS - SOME OPEN PROBLEMS

被引：0

|

作者：

HABASINSKI, Z ^{[1
]}

机构：

[1] POLISH ACAD SCI,INST MATH,PL-60965 POZNAN,POLAND

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 208卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：98 / 110

页数：13

相关论文

共 50 条

[1] A MODEL-THEORY FOR PROPOSITIONAL ATTITUDES
THOMASON, RH
LINGUISTICS AND PHILOSOPHY, 1980, 4 (01) : 47 - 70
[2] SOME CONCEPTS AND PROBLEMS IN CATEGORICAL MODEL-THEORY
MAKKAI, M
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 200 - 201
[3] TESTING THE MENTAL MODEL-THEORY OF PROPOSITIONAL REASONING
KLAUER, KC
OBERAUER, K
QUARTERLY JOURNAL OF EXPERIMENTAL PSYCHOLOGY SECTION A-HUMAN EXPERIMENTAL PSYCHOLOGY, 1995, 48 (03): : 671 - 687
[4] SVENONIUS,L - SOME PROBLEMS IN LOGICAL MODEL-THEORY
HANF, W
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 505 - +
[5] POSITIVE RESULTS IN ABSTRACT MODEL-THEORY - A THEORY OF COMPACT LOGICS
MAKOWSKY, JA
SHELAH, S
ANNALS OF PURE AND APPLIED LOGIC, 1983, 25 (03) : 263 - 299
[6] DUALITY FOR COMPACT LOGICS AND SUBSTITUTION IN ABSTRACT MODEL-THEORY
LIPPARINI, P
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (06): : 517 - 532
[7] FRONTIER CONFIGURATION THEORY OF PARITY AND AGGREGATION STEREOSELECTION AND SOME PROBLEMS OF MODEL-THEORY
EPIOTIS, ND
NOUVEAU JOURNAL DE CHIMIE-NEW JOURNAL OF CHEMISTRY, 1984, 8 (01): : 11 - 29
[8] PI(1)(1)-UNIVERSALITY OF SOME PROPOSITIONAL LOGICS OF CONCURRENT PROGRAMS
VALIEV, MK
THEORETICAL COMPUTER SCIENCE, 1993, 119 (01) : 223 - 232
[9] SOME MODEL-THEORY FOR GENERALIZED TREES
BASARAB, SA
JOURNAL OF PURE AND APPLIED ALGEBRA, 1989, 57 (02) : 109 - 125
[10] PROPOSITIONAL LOGICS OF PROGRAMS - NEW DIRECTIONS
PARIKH, R
LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 347 - 359

← 1 2 3 4 5 →