网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
模态命题演算系统之一。由刘易斯和兰福德在《符号逻辑》的附录中首先提出。它由初始符号、形成规则、初始公式、变形规则四部分组成基础。其中，除增加公理“LA→LLA”之外，其余部分与模态命题演算*系统T皆相同。系统S4是系统T的扩充。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。