Results 1-6 of 6
 | 
期刊文章
Maier, John
PHILOSOPHICAL STUDIES
2018
[ABSTRACT] Accounts of ability in the philosophical literature have tended to be modal ones: claims about an agent's abilities are understood in terms of...
[KEYWORDS] Abilities; Genericity; Modal logic; LOGIC
期刊文章
Li, Yanjun; Wang, Yanjing
ARTIFICIAL INTELLIGENCE
2021-07
[ABSTRACT] Various logical notions of know-how have been recently proposed and studied in the literature based on different types of epistemic planning in dif...
[KEYWORDS] DYNAMIC EPISTEMIC FRAMEWORK; LOGIC; 0812 计算机科学与技术(可授工学、理学学位);
期刊文章
Agotnes, Thomas; van Ditmarsch, Hans; Wang, Yanjing
SYNTHESE
2018
[ABSTRACT] A true lie is a lie that becomes true when announced. In a logic of announcements, where the announcing agent is not modelled, a true lie is a form...
[KEYWORDS] DYNAMICS; LOGIC
期刊文章
Zhong, Shengyang
SYNTHESE
2021-10
[ABSTRACT] From the Hilbert space formalism we note that five simple conditions are satisfied by the orthogonality relation between the (pure) states of a qua...
[KEYWORDS] LOGIC; THEOREM; SPACES; 0712 科学技术史(分学科,可授理学、工学、农学、医学学位);0101 哲学;0701 数学;
期刊文章
Carrara, Massimiliano; Zhu, Wei
JOURNAL OF LOGIC AND COMPUTATION
2021-10
[ABSTRACT] In a computational program there can be two kinds of errors: (i) critical errors and (ii) non-critical errors. A critical error stops the program i...
[KEYWORDS] LOGIC; 0812 计算机科学与技术(可授工学、理学学位);0701 数学;0802 机械工程;
期刊文章
Fan, Jie; Wang, Yanjing; Van Ditmarsch, Hans
2015
[ABSTRACT] A proposition is noncontingent, if it is necessarily true or it is necessarily false. In an epistemic context, 'a proposition is noncontingent...
[KEYWORDS] COMMUNICATION; LOGIC; ANNOUNCEMENT; KNOWLEDGE
Results 1-6 of 6
  • <<
  • 1
  • >>