International Conference on Logic & its Applications

# You can also click the upper-left icon to select videos from the playlist. 

source: matsciencechannel     2013年2月21日
ICLA -International Conference on Logic & its Applications

01 Constructive : decision theory with subjective states and outcomes by Joseph Halpern 1:08:45
02 Bisimulation and coverings for graphs and hyper graphs by Martin Otto 1:03:26
03 Contributed talks part - 1 1:24:25
04 Contributed talks part - 2 1:08:40
05 Forcing axioms, finite conditions and some more by Mirna Džamonja 49:19
06 The birth of proof: modality and deductive reasoning by Adriane Rini 1:04:24
07 Logic of Non-Monotonic Interactive Proofs by Simon Kramer 1:03:14
08 Contributed talk by Soma Dutta and Invited talk by Mark Reynolds 1:52:46
09 Probabilistic IF logic by Gabriel Sandu 1:04:03
10 Carnap and McKinsey: Topics in the Pre-history of Possible-worlds semantics by Max Cresswell 48:39
11 Contributed talks part-1 1:25:13
12 Contributed talks part-2 59:54
13 Contributed talks part-3 46:09