标准模态逻辑（狭义模态逻辑、广义模态逻辑）【英】
standard modal logic (modal logic in narrow sense; restricted modal logic; generalized modal logic)
译文来源
[1] Modal logic. via: https://en.wikipedia.org/wiki/Modal_logic
[2] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001：95，1614，480.
定义
标准模态逻辑是指刘易斯从研究严格蕴涵出发，用数理逻辑方法研究模态判断及其逻辑关系，建立起的关于逻辑必然与逻辑可能的模态逻辑（金炳华，2003：567）。“模态逻辑是研究模态命题的逻辑性质及其相互关系以及模态推理的有效性的科学。它是逻辑学最为重要的分支之一，是哲学逻辑的基础理论”（杜音，艾泽银，2013：136）。在现代汉语中，必然、可能、禁止、允许等是最常用的模态词（杜音，艾泽银，2013：137），模态命题就是含有模态词的命题，而以模态命题为前提或结论的推理就是模态推理。模态逻辑古已有之，古希腊哲学家亚里士多德就曾对模态逻辑进行过系统的研究。现代模态逻辑的先驱是麦柯尔，他曾提出了诸如严格蕴涵等许多重要的模态概念，但是麦柯尔没有构造出模态逻辑演算系统。而现代模态逻辑的真正创始人是刘易斯（金炳华，2003：567）。模态逻辑一般可分为标准模态逻辑和非标准模态逻辑两类。其中，标准模态逻辑也被称为狭义模态逻辑，现代逻辑文献中也称之为真值模态逻辑。“除狭义模态外，还有另外一些非标准模态，如关于应该、允许、禁止的义务模态；关于优秀、良好、坏的价值模态；关于可信、知道、可疑的认识模态；关于过去、现在、将来的时态模态。自刘易斯的标准模态逻辑出现后，不断有新的非标准模态逻辑系统出现”（金炳华，2001：480-481）。
定义来源
[1] 金炳华.马克思主义哲学大辞典[Z].上海辞书出版社，2003.
[2] 杜音，艾泽银.普通逻辑学[M].湖南大学出版社，2013.
[3] 金炳华.哲学大辞典（上册）[Z].上海辞书出版社，2001.
网络参考例句
例句 1：
由于必然模态词的引入，谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界。在谓词模态逻辑中存在个体跨可能世界相等问题。——“公式分层的谓词模态逻辑”，载于《软件学报》2014年第5期
As an introduction to the necessary modality, the truth values of formulas of the predicate modal logic in a possible world may rely on its alternative worlds. So there is a problem of the transworld identity of individuals in the predicate modal logic.
例句 2：
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。证明了永真式一定是逻辑有效公式，但反之不真；在模糊模态逻辑中，针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念，研究了准永真式的基本性质，并结合￡~*系统构造出了一类永真式和准永真式。——“模糊模态逻辑中的永真式与准永真式”，载于《电子学报》2009年第11期
Relationship between tautologies in fuzzy modal logic and valid formulas in basic modal logic is investigated. It is proved that modal tautologies are logically valid but not vice versa; Based on a class of continuous binary relations, the concept of quasi-tautology is introduced in fuzzy modal logic, basic properties of quasi-tautologies is obtained, and a class of tautologies and quasi-tautologies are constructed by means of theorems in the logic system￡~* .
例句 3：
探讨基于可信度的模糊命题模态逻辑的形式推理，给出相关的模糊Kripke语义描述。其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题。在研究过程与方法上，以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中，以模糊约束作为基本表达式，给出推理规则，建立了相应的模糊推理形式系统，并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性，使模糊推理过程变得容易，为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础。主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性。——“基于模糊命题模态逻辑的形式推理系统”，载于《软件学报》2005年第8期
Th