坐标语义学（coordinate semantics），文学-语言文字-语义学，模态逻辑语义学的一个分支，同时引入模态算子和时态算子来研究语义真值条件的语义模型。在自然语言中，模态算子和时态算子可能同时出现在一个句子中，例如，“张三明天应该会去学校”“可能正在下雨”“可能他昨天来过了”。需要设计一种表达语言来处理含有这两种算子的句子。可以假设这样一个模型：M=〈A，W，T，〈，F〉。其中T表示时间的集合，W表示可能世界的集合W，〈标记T集合的顺序。这样，就可以用一个可能世界W和一个时间T来定义一个表达式α，记为〖α〗M，w，t，g。意思是表达式α相对于模型M、可能世界w、时间t和变量g赋值的指称（或外延）。