On representing semantics in finite models

被引：0

作者：

Mostowski, M ^{[1
]}

机构：

[1] Univ Warsaw, PL-00325 Warsaw, Poland

来源：

PHILOSOPHICAL DIMENSIONS OF LOGIC AND SCIENCE | 2003年 / 320卷

关键词：

D O I：

暂无

中图分类号：

N09 [自然科学史]; B [哲学、宗教];

学科分类号：

01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;

摘要：

引用

页码：15 / 28

页数：14

共 10 条

[1] DECIDABILITY PROBLEMS IN LANGUAGES WITH HENKIN QUANTIFIERS [J].

KRYNICKI, M ;

MOSTOWSKI, M .

[2]

LEIVANT D, 1994, HDB LOGIC ARTIFICIAL, P228

[3]

Mostowski M, 2001, MATH LOGIC QUART, V47, P513, DOI 10.1002/1521-3870(200111)47:4<513::AID-MALQ513>3.0.CO

[4]

2-J

[5]

MOSTOWSKI M, 1993, UNPUB TRUTH DEFINITI

[6]

MOSTOWSKI M, 1993, IN PRESS J SYMBOLIC

[7]

MOSTOWSKI M, 2003, UNPUB CO SWIATACH SK

[8]

SHOENFIELD JR, 1993, LECT NOTES LOGIC

[9]

Tarski A., 1956, LOGIC SEMANTICS META

[10]

[No title captured]