QUANTIFIERS IN COMBINATORY PDL - COMPLETENESS, DEFINABILITY, INCOMPLETENESS

被引：0

|

作者：

PASSY, S

TINCHEV, T

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 199卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：512 / 519

页数：8

相关论文

共 50 条

[1] DEFINABILITY HIERARCHIES OF GENERALIZED QUANTIFIERS
HELLA, L
ANNALS OF PURE AND APPLIED LOGIC, 1989, 43 (03) : 235 - 271
[2] Henkin Quantifiers and the Definability of Truth
Tapani Hyttinen
Gabriel Sandu
Journal of Philosophical Logic, 2000, 29 : 507 - 527
[3] Henkin quantifiers and the definability of truth
Hyttinen, T
Sandu, G
JOURNAL OF PHILOSOPHICAL LOGIC, 2000, 29 (05) : 507 - 527
[4] DETERMINISM AND LOOPING IN COMBINATORY PDL
GARGOV, G
PASSY, S
THEORETICAL COMPUTER SCIENCE, 1988, 61 (2-3) : 259 - 277
[5] Definability of second order generalized quantifiers
Kontinen, Juha
ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 49 (03): : 379 - 398
[6] Definability of polyadic lifts of generalized quantifiers
Hella L.
Väänänen J.
Westerståhl D.
Journal of Logic, Language and Information, 1997, 6 (3) : 305 - 335
[7] Definability of second order generalized quantifiers
Juha Kontinen
Archive for Mathematical Logic, 2010, 49 : 379 - 398
[8] ARITHMETIC DEFINABILITY BY FORMULAS WITH 2 QUANTIFIERS
SHIH, PT
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (01) : 1 - 11
[9] DEFINABILITY BY N-ARY GENERALIZED QUANTIFIERS
VAANANEN, J
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 500 - 500
[10] COMPLETENESS - INCOMPLETENESS - THE HUMAN SITUATION
HULBECK, CR
AMERICAN JOURNAL OF PSYCHOANALYSIS, 1956, 16 (01): : 54 - 62

← 1 2 3 4 5 →