1007-1792
2009 Issue 1
..............page:1-19
The Oklibrary: Introducing a "Holistic" Research Platform for (Generalised) SAT Solving
Oliver Kullmann
Oliver Kullmann
..............page:20-53
The Lattice of Sahlqvist Logics
Jiangjie Qiu;Beihai Zhou
Jiangjie Qiu;Beihai Zhou
..............page:54-61
Toward Model-Theoretic Modal Logics
Minghui Ma
Minghui Ma
..............page:62-77
..............page:78-89
..............page:90-104
Book Review: Johan van Benthem, Logic, Language and Cognition
J.van Benthem;Xinwen Liu;Meiyun Guo;Dongping Gao
J.van Benthem;Xinwen Liu;Meiyun Guo;Dongping Gao
..............page:105-112
Book Review: John R. Searle, Intentionality: An Essay in the Philosophy of Mind
John R.Searle;Yetao Liu
John R.Searle;Yetao Liu
..............page:113-116