Titlebook: Logic and Program Semantics; Essays Dedicated to Robert L. Constable,Alexandra Silva Book 2012 Springer-Verlag Berlin Heidelberg 2012 alge

杠杆

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

pineal-gland

expansive

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

修剪过的树篱

Harridan

GLOSS

IRS

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

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.