Ockham's razor and reasoning about information flow

被引：2
作者：
Sadrzadeh, Mehrnoosh [2 ,1 ]
机构：
[1] Univ, Laboratoire Preuves Programmes & SystSmes, Paris, France
来源：
SYNTHESE | 2009年 / 167卷 / 02期
基金：
英国工程与自然科学研究理事会;
关键词：
Algebraic modal logic; Galois adjoints; Reasoning about knowledge and update;
D O I：
10.1007/s11229-008-9414-7
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? How much can we weaken and still be able to reason about multi-agent scenarios in a tidy compositional way? This paper provides some answers.
引用
收藏
页码：391 / 408
页数：18
相关论文
共 16 条
[1]  
Baltag A, 1999, Technical Report SEN-R9922
[2]  
BALTAG A, 2004, SYNTHESE, V139
[3]   Epistemic actions as resources [J].
Baltag, Alexandru ;
Coecke, Bob ;
Sadrzadeh, Mehrnoosh .
JOURNAL OF LOGIC AND COMPUTATION, 2007, 17 (03) :555-585
[4]  
Davey B. A., 1990, Cambridge Mathematical Textbooks
[5]  
Fagin R., 1995, Reasoning about Knowledge
[6]   A Sahlqvist theorem for distributive modal logic [J].
Gehrke, M ;
Nagahashi, H ;
Venema, Y .
ANNALS OF PURE AND APPLIED LOGIC, 2005, 131 (1-3) :65-102
[7]  
Gerbrandy J., 1999, LOGIC LANGUAGE INFOR, V2
[8]  
Hintikka J., 1962, KNOWLEDGE BELIEF INT
[9]  
Jnnson B., 1952, American Journal of Mathematics, V74, P127
[10]  
Jnsson Bjarni., 1951, American Journal of Mathematics, V73, P891, DOI DOI 10.2307/2372123
12