研究包含模态词的命题及其推理的逻辑学科。含有模态词的命题是模态命题，以模态命题为前提或结论的推理是模态推理。模态逻辑的基本组成部分是模态命题逻辑和模态谓词逻辑，它们的形式化的公理系统，分别称为模态命题演算和模态谓词演算。现代模态逻辑以数理逻辑为基础，通过建立模态命题演算和模态谓词演算去研究模态推理形式。通常把关于逻辑必然和逻辑可能的模态逻辑称为标准模态逻辑，而把并不论述逻辑必然和逻辑可能，但具有类似于标准模态逻辑的性质的其他模态逻辑系统称之为非标准模态逻辑或广义模态逻辑。本世纪六十年代以前形成的非标准模态逻辑，主要有认知逻辑、道义逻辑和时态逻辑等。
索引句(语言)：包含索引词的句子。如：⑴他是教师。⑵现在是春天。离开语境，索引句无法确定其所指，因而索引句不是命题，无所谓真假。例⑴中不清楚“他”具体指什么人，例⑵中不明确“现在”具体指什么时间，所以例⑴和例⑵实际上..
内涵同构(语言)：表达式之间的一种内涵关系。两个表达式是内涵同构的，(即内涵具有相同结构)，当且仅当，它们是由对应的具有相同内涵的成分表达式，按同一方式建立起来的。如：“2 5”和“Ⅱ加V”，这两个表达式是内涵同构的。因为..
时态命题(语言)：由时态语句表达的命题。简单时态命题的构成方式是：时态命题=时态算子 原子命题。在汉语现在时语句中往往不用现在时态词，因此现在时算子(T)可省去。这样，时态命题的基本形式有四种：⑴过去时命题Pp，读作“情..
外延论题(语言)：复合句中部分表达式的置换原理。一个语句或命题，当它包含的一个表达式，由另一个具有同样指称而不同涵义的表达式替换时，其真值不变。如，在⑴“鲁迅是中国人”中用“《阿Q正传》的作者”去替换“鲁迅”，得到..
内涵(语言)：①同“外延”相对。概念的基本逻辑特征之一。反映在概念中的对象的特有属性。是概念的质的方面。如“商品”的内涵就是“为交换而生产的产品”。对象有诸多特有属性，但只有反映在概念中的特有属性才构成概念..