GK,L,M,N AND THE FINITE-MODEL PROPERTY

被引：0

|

作者：

CHELLAS, BF

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1426 / 1426

页数：1

相关论文

共 50 条

[1] DECIDABILITY AND THE FINITE-MODEL PROPERTY
URQUHART, A
JOURNAL OF PHILOSOPHICAL LOGIC, 1981, 10 (03) : 367 - 370
[2] DECIDABILITY AND THE FINITE-MODEL PROPERTY
URQUHART, A
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (02) : 516 - 516
[3] SPLITTINGS AND THE FINITE-MODEL PROPERTY
KRACHT, M
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (01) : 139 - 157
[4] SEMICOMPLEMENTED LATTICES AND THE FINITE-MODEL PROPERTY
HUMBERSTONE, IL
LOCK, AJ
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (05): : 431 - 437
[5] THE FINITE-MODEL PROPERTY IN TENSE LOGIC
WOLTER, F
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (03) : 757 - 774
[6] THE FINITE-MODEL PROPERTY AND RECURSIVE BOUNDS ON THE SIZE OF COUNTERMODELS
ULRICH, D
JOURNAL OF PHILOSOPHICAL LOGIC, 1983, 12 (04) : 477 - 480
[7] B-SEG HAS THE FINITE-MODEL PROPERTY
CRESSWELL, MJ
JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 205 - 205
[8] Several algorithms for finite-model adaptive controlPartial answers to finite-model adaptive control problem
Hongbin Ma
Mathematics of Control, Signals, and Systems, 2008, 20 : 271 - 303
[9] Several algorithms for finite-model adaptive control Partial answers to finite-model adaptive control problem
Ma, Hongbin
MATHEMATICS OF CONTROL SIGNALS AND SYSTEMS, 2008, 20 (03) : 271 - 303
[10] FINITE-MODEL THEORY - A PERSONAL PERSPECTIVE
FAGIN, R
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 470 : 3 - 24

← 1 2 3 4 5 →