杠杆
发表于 2025-3-23 11:51:16
Combining Epistemic Logic and Hennessy-Milner Logicion system. The idea is that agents observe the dynamics of the system modulo their ability to distinguish states and in the process learn about the current state and past history of the execution. This is in the spirit of dynamic epistemic logic but is a direct combination of Hennessy-Milner logic
CAPE
发表于 2025-3-23 15:16:25
http://reply.papertrans.cn/59/5880/587983/587983_12.png
pineal-gland
发表于 2025-3-23 18:37:46
http://reply.papertrans.cn/59/5880/587983/587983_13.png
expansive
发表于 2025-3-23 23:03:33
Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Informationrtain maps of event structures. This leads to a bicategory of general concurrent games in which the maps are nondeterministic concurrent strategies. This paper explores the consequences of extending concurrent games with (1) winning, losing and, implicitly, neutral configurations, and (2) access lev
intelligible
发表于 2025-3-24 04:49:11
http://reply.papertrans.cn/59/5880/587983/587983_15.png
修剪过的树篱
发表于 2025-3-24 08:51:08
http://reply.papertrans.cn/59/5880/587983/587983_16.png
Harridan
发表于 2025-3-24 14:33:18
http://reply.papertrans.cn/59/5880/587983/587983_17.png
GLOSS
发表于 2025-3-24 17:45:25
http://reply.papertrans.cn/59/5880/587983/587983_18.png
IRS
发表于 2025-3-24 21:57:01
Choice and Uncertainty in GamesWe consider an agent choosing between two acts ., ., whose outcomes are uncertain and depend on factors which the agent does not fully know. But for each pair of possible outcomes the agent does know how she would choose. Does the agent then have a way of choosing between the acts which will work at least some of the time?
GRILL
发表于 2025-3-25 00:20:30
The Complexity of Inhabitation with Explicit IntersectionIt is shown that the inhabitation problem for intersection types without the intersection introduction rule is .-complete and that the further restriction without subtyping is .-complete.