id: 70024444
dt: a
an: 70024444
au: Ozaki, Yuri; Bekki, Daisuke
ti: Conditional logic $C_{b}$ and its tableau system
so: LACL, 190-204 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-22221-4_13