Results 1-2 of 2
 | 
期刊文章
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 数学;
Results 1-2 of 2
  • <<
  • 1
  • >>