Sciweavers

11 search results - page 1 / 3
» jolli 2002
Sort
View
JOLLI
2002
55views more  JOLLI 2002»
13 years 10 months ago
Substructural Logics with Mingle
Norihiro Kamide
JOLLI
2002
56views more  JOLLI 2002»
13 years 10 months ago
Descriptions of Game Actions
Hans P. van Ditmarsch
JOLLI
2002
80views more  JOLLI 2002»
13 years 10 months ago
Independent Choices and the Interpretation of IF Logic
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...
Theo M. V. Janssen
JOLLI
2002
73views more  JOLLI 2002»
13 years 10 months ago
Extensive Games as Process Models
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 ...
Johan van Benthem
JOLLI
2002
125views more  JOLLI 2002»
13 years 10 months ago
Some Notes on the Formal Properties of Bidirectional Optimality Theory
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...
Gerhard Jäger