11 search results - page 1 / 3 » jolli 2002 |
JOLLI
2002
13 years 4 months ago
2002
JOLLI
2002
13 years 4 months ago
2002
JOLLI
2002
13 years 4 months ago
2002
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
JOLLI
2002
13 years 4 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
JOLLI
2002
13 years 4 months ago
2002
In this paper, we discuss some formal properties of the model of bidirectional Optimality Theory that was developed in Blutner 2000. We investigate the conditions under which bidi...