|
141 |
ICLA International Conference on Logic and its Applications |
Logic of Non Monotonic Interactive Proofs |
Simon Kramer |
11 Jan 2013 |
|
142 |
ICLA International Conference on Logic and its Applications |
Probabilistic IF logic |
Gabriel Sandu |
12 Jan 2013 |
|
143 |
ICLA International Conference on Logic and its Applications |
The birth of proof modality and deductive reasoning |
Adriane Rini |
11 Jan 2013 |
|
144 |
ICLA International Conference on Logic and its Applications |
Bisimulation and coverings for graphs and hyper graphs |
Martin Otto |
10 Jan 2013 |
|
145 |
ICLA International Conference on Logic and its Applications |
Carnap and McKinsey Topics in the Pre history of Possible worlds semantics |
Max Cresswell |
12 Jan 2013 |
|
146 |
ICLA International Conference on Logic and its Applications |
Constructive decision theory with subjective states and outcomes |
Joseph Halpern |
10 Jan 2013 |
|
147 |
ICLA International Conference on Logic and its Applications |
Contributed talk by Soma Dutta and Invited talk |
Mark Reynolds |
11 Jan 2013 |
|
148 |
ICLA International Conference on Logic and its Applications |
Agent-time Epistemics and Coordination |
Ido Ben-Zvi and Yoram Moses |
10 Jan 2013 |
|
149 |
ICLA International Conference on Logic and its Applications |
Yablo sequences in truth theories |
Cezary Cieśliński |
10 Jan 2013 |
|
150 |
ICLA International Conference on Logic and its Applications |
Public Announcements for Non-omniscient Agents |
Fernando R. Velazquez-Quesada |
12 Jan 2013 |
