网站首页 词典首页
20世纪50—60年代发展起来的。研究含有知道、认可等认知模态词的命题和推理的逻辑学科。知道和认可被处理为认知的主体和被认知的命题或观点之间的二元关系，例如K(x,p)就表示x知道p，并建立了知道逻辑的形式系统。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。