90 search results - page 5 / 18 » Graded Modalities in Epistemic Logic |
RSFDGRC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
TARK
2009
Springer
14 years 4 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
TARK
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
DLOG
2010
13 years 7 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...