11 search results - page 1 / 3 » jolli 2002 |
77
Voted
JOLLI
2002
15 years 22 days ago
2002
86
Voted
JOLLI
2002
15 years 22 days ago
2002
86
Voted
JOLLI
2002
15 years 22 days 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...
86
Voted
JOLLI
2002
15 years 22 days 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 ...
123
Voted
JOLLI
2002
15 years 22 days 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...