Dynamic predicate logic of dependent questions and answers

被引：0

|

作者：

Ogata, Norihiro ^{[1
]}

机构：

[1] Osaka Univ, Fac Language & Culture, Toyonaka, Osaka 560, Japan

来源：

NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE | 2007年 / 3609卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：372 / 382

页数：11

相关论文

共 50 条

[1] QUESTIONS, ANSWERS, AND LOGIC
TICHY, P
[J]. AMERICAN PHILOSOPHICAL QUARTERLY, 1978, 15 (04) : 275 - 284
[2] A LOGIC OF QUESTIONS AND ANSWERS
HARRAH, D
[J]. PHILOSOPHY OF SCIENCE, 1961, 28 (01) : 40 - 46
[3] DYNAMIC PREDICATE LOGIC
GROENENDIJK, J
STOKHOF, M
[J]. LINGUISTICS AND PHILOSOPHY, 1991, 14 (01) : 39 - 100
[4] Contexts in dynamic predicate logic
Visser A.
[J]. Journal of Logic, Language and Information, 1998, 7 (1) : 21 - 52
[5] Verification in predicate logic with time: Algorithmic questions
Slissenko, A
[J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 3 - 17
[6] Existential graphs and dynamic predicate logic
vandenBerg, H
[J]. CONCEPTUAL STRUCTURES: APPLICATIONS, IMPLEMENTATION AND THEORY, 1995, 954 : 338 - 352
[7] Questions and answers: The logic of preliminary fact investigation
Abimbola, K
[J]. JOURNAL OF LAW AND SOCIETY, 2002, 29 (04) : 533 - 559
[8] PROPOSITIONAL DYNAMIC LOGIC WITH STRONG LOOP PREDICATE
DANECKI, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 176 : 573 - 581
[9] LOGIC OF QUESTIONS AND ANSWERS - BELNAP,ND, STEEL,TB
BELL, M
[J]. MIND, 1979, 88 (350) : 297 - 299
[10] LOGIC OF QUESTIONS AND ANSWERS - BELNAP,ND, STEEL,TB
HEAL, J
[J]. PHILOSOPHY, 1978, 53 (204) : 276 - 277

← 1 2 3 4 5 →