Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE
2017 ◽
Vol 251
◽
pp. 373-381
◽
2011 ◽
Vol 4
(4)
◽
pp. 536-559
◽
Keyword(s):
1992 ◽
Vol 50
(1)
◽
pp. 618-619
1977 ◽
Vol 8
(3)
◽
pp. 235-243
◽
Keyword(s):
Keyword(s):
2016 ◽
Vol 12
(2)
◽
pp. 49-77
2019 ◽
Keyword(s):