# 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
1. Clicking ▼&► to (un)fold the tree menu may facilitate locating what you want to find. 2. Videos embedded here do not necessarily represent my viewpoints or preferences. 3. This is just one of my several websites. Please click the category-tags below these two lines to go to each independent website.
No comments:
Post a Comment