顺序逻辑,关于顺序逻辑的所有信息