|
141 |
ICLA International Conference on Logic and its Applications |
Constructive decision theory with subjective states and outcomes |
Joseph Halpern |
10 Jan 2013 |
|
142 |
ICLA International Conference on Logic and its Applications |
Contributed talk by Soma Dutta and Invited talk |
Mark Reynolds |
11 Jan 2013 |
|
143 |
ICLA International Conference on Logic and its Applications |
Agent-time Epistemics and Coordination |
Ido Ben-Zvi and Yoram Moses |
10 Jan 2013 |
|
144 |
ICLA International Conference on Logic and its Applications |
Yablo sequences in truth theories |
Cezary Cieśliński |
10 Jan 2013 |
|
145 |
ICLA International Conference on Logic and its Applications |
Public Announcements for Non-omniscient Agents |
Fernando R. Velazquez-Quesada |
12 Jan 2013 |
|
146 |
ICLA International Conference on Logic and its Applications |
Characterizing Successful Formulas: the Multi-agent Case |
Sanchit Saraf and Sumit Sourabh |
12 Jan 2013 |
|
147 |
ICLA International Conference on Logic and its Applications |
Validity of Imperative Arguments |
Manidipa Sanyal |
12 Jan 2013 |
|
148 |
ICLA International Conference on Logic and its Applications |
Forcing axioms finite conditions and some more |
Mirna Džamonja |
10 Jan 2013 |
|
149 |
ICLA International Conference on Logic and its Applications |
Logic of Non Monotonic Interactive Proofs |
Simon Kramer |
11 Jan 2013 |
|
150 |
ICLA International Conference on Logic and its Applications |
Probabilistic IF logic |
Gabriel Sandu |
12 Jan 2013 |
