a system of logic whose formal properties resemble certain moral and epistemological concepts.

• 其形式性质类似道义与知识概念的一种逻辑；研究必然可能与相关概念的性质的一种逻辑。