Logics of Rational Interaction

被引:3
作者
Kooi, Barteld [1 ]
Pacuit, Eric [2 ]
机构
[1] Univ Groningen, Fac Philosophy, NL-9712 GL Groningen, Netherlands
[2] Tilburg Univ, Ctr Logic & Philosophy Sci, NL-5000 LE Tilburg, Netherlands
来源
DYNAMIC FORMAL EPISTEMOLOGY | 2011年 / 351卷
关键词
DYNAMIC-SYSTEMS; MODELING BELIEF; REVISION; KNOWLEDGE; POWER;
D O I
10.1007/978-94-007-0074-1_2
中图分类号
B [哲学、宗教];
学科分类号
01 ; 0101 ;
摘要
引用
收藏
页码:5 / +
页数:7
相关论文
共 123 条
[1]  
Ågotnes T, 2007, J LOGIC COMPUT, V17, P83, DOI [10.1093/logcom/exl019, 10.1093/logcom/ex1019]
[2]   ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].
ALCHOURRON, CE ;
GARDENFORS, P ;
MAKINSON, D .
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (02) :510-530
[3]   Verifying time, memory and communication bounds in systems of reasoning agents [J].
Alechina, Natasha ;
Logan, Brian ;
Nguyen, Hoang Nga ;
Rakib, Abdur .
SYNTHESE, 2009, 169 (02) :385-403
[4]  
[Anonymous], 1995, Reasoning About Knowledge
[5]  
[Anonymous], 2007, J. Appl. NonClassical Logics, DOI [DOI 10.3166/JANCL.17.157-182, 10.3166/jancl.17.157-182]
[6]  
[Anonymous], 1957, Games and Decisions
[7]  
[Anonymous], 2007, Journal of applied non-classical logics., DOI [10.3166/jancl.17.129-155, DOI 10.3166/JANCL.17.129-155]
[8]  
[Anonymous], 1981, READINGS ARTIFICIAL, DOI DOI 10.1016/B978-0-934613-03-3.50033-7
[9]   Introducing justification into epistemic logic [J].
Artemov, S ;
Nogina, E .
JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (06) :1059-1073
[10]  
Aucher G., 2007, J APPL NONCLASSICAL, V17, P9, DOI DOI 10.3166/JANCL.17.9-38