141 |
ICLA International Conference on Logic and its Applications |
Yablo sequences in truth theories |
Cezary Cieśliński |
10 Jan 2013 |
142 |
ICLA International Conference on Logic and its Applications |
Public Announcements for Non-omniscient Agents |
Fernando R. Velazquez-Quesada |
12 Jan 2013 |
143 |
ICLA International Conference on Logic and its Applications |
Characterizing Successful Formulas: the Multi-agent Case |
Sanchit Saraf and Sumit Sourabh |
12 Jan 2013 |
144 |
ICLA International Conference on Logic and its Applications |
Validity of Imperative Arguments |
Manidipa Sanyal |
12 Jan 2013 |
145 |
ICLA International Conference on Logic and its Applications |
Forcing axioms finite conditions and some more |
Mirna Džamonja |
10 Jan 2013 |
146 |
ICLA International Conference on Logic and its Applications |
Logic of Non Monotonic Interactive Proofs |
Simon Kramer |
11 Jan 2013 |
147 |
ICLA International Conference on Logic and its Applications |
Probabilistic IF logic |
Gabriel Sandu |
12 Jan 2013 |
148 |
ICLA International Conference on Logic and its Applications |
The birth of proof modality and deductive reasoning |
Adriane Rini |
11 Jan 2013 |
149 |
ICLA International Conference on Logic and its Applications |
Bisimulation and coverings for graphs and hyper graphs |
Martin Otto |
10 Jan 2013 |
150 |
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 |