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 条

[31] AN ANALYTIC COMPLETENESS THEOREM FOR LOGICS WITH PROBABILITY QUANTIFIERS
HOOVER, DN
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (03) : 802 - 816
[32] Elementary Definability and Completeness in General and Positive Modal Logic
Ernst Zimmermann
Journal of Logic, Language and Information, 2003, 12 (1) : 99 - 117
[33] 2ND ORDER DEFINABILITY, GAME QUANTIFIERS AND RELATED EXPRESSIONS
OIKKONEN, J
COMMENTATIONES PHYSICO-MATHEMATICAE, 1978, 48 (01): : 39 - 100
[34] A NEW PROOF OF SAHLQVIST THEOREM ON MODAL DEFINABILITY AND COMPLETENESS
SAMBIN, G
VACCARO, V
JOURNAL OF SYMBOLIC LOGIC, 1989, 54 (03) : 992 - 999
[35] Satisfiability and completeness of converse-PDL replayed
Lange, M
KI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2003, 2821 : 79 - 92
[36] Expressive Completeness for LTL With Modulo Counting and Group Quantifiers
Sreejith, A. V.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 278 : 201 - 214
[37] TERMINATION ASSERTIONS FOR RECURSIVE-PROGRAMS - COMPLETENESS AND AXIOMATIC DEFINABILITY
MEYER, AR
MITCHELL, JC
INFORMATION AND CONTROL, 1983, 56 (1-2): : 112 - 138
[38] FUNCTIONAL COMPLETENESS OF THE MIXED LAMBDA CALCULUS AND COMBINATORY-LOGIC
NIELSON, HR
NIELSON, F
THEORETICAL COMPUTER SCIENCE, 1990, 70 (01) : 99 - 126
[39] Contribution to didactic research on the completeness/incompleteness of ordered fields of numbers
Durand-Guerrier, Viviane
ZDM-MATHEMATICS EDUCATION, 2024, 56 (07): : 1503 - 1515
[40] The Completeness and Incompleteness of Financial Markets in Economies Driven by Diffusion Processes
Dou, Zheng
Liang, Hao
MATHEMATICAL PROBLEMS IN ENGINEERING, 2019, 2019

← 1 2 3 4 5 →