1007-1792
2010 Issue 1
The Complexity of Decision Problems for Linear Temporal Logics
ma ke lei nuo zi
ma ke lei nuo zi
..............page:19-50
..............page:114-124
..............page:封3
A Generalization of Tarski\'s Theorem
xiong ming
xiong ming
..............page:73-88
Formalizing Quantum Mechanics without Quantum Logic
bian tuo meng
bian tuo meng
..............page:51-72
On the Evolution from the "Analogy" Category to the "Analogizing" Pattern in Ancient China
zhang xiao mang
zhang xiao mang
..............page:89-113
Relevant Negation and Classical Negation
ai de wen ma lai si
ai de wen ma lai si
..............page:1-18
Conference Report: On the Second International Workshop on Logic, Rationality and Interaction(LORI-Ⅱ)
guo mei yun ; zou ming zhuo
guo mei yun ; zou ming zhuo
..............page:125-132