Results 1-4 of 4
 | 
[ABSTRACT] In his seminal work [Plaza, 1989], Plaza proposed the public announcement logic (PAL), which is considered as the pilot logic in the field of dynam...
[KEYWORDS] 
会议论文
Van Ditmarsch, Hans; Fan, Jie; Van Der Hoek, Wiebe; Iliev, Petar
2014
[ABSTRACT] We present two families of exponential lower bounds on the size of modal formulae and use them to establish the following succinctness results. We ...
[KEYWORDS] 
会议论文
Wang, Yanjing; Fan, Jie
2014
[ABSTRACT] Classic epistemic logic focuses on propositional knowledge expressed by \knowing that' operators. However, there are various types of knowledg...
[KEYWORDS] 
会议论文
Fan, Jie; van Ditmarsch, Hans
2015
[ABSTRACT] A formula is contingent, if it is possibly true and possibly false; a formula is non-contingent, if it is not contingent, i.e., if it is necessaril...
[KEYWORDS] 
Results 1-4 of 4
  • <<
  • 1
  • >>