【时态逻辑】的繁体字: 時態邏輯
【时态逻辑】的读音为 shí tài luó ji,无声调拼音为 shi tai luo ji,简拼为 STLJ
【时态逻辑】的笔画分别为7画、8画、11画、13画,部首分别为日部、心部、辶部、车部。
【分字繁体字】时的繁体字 态的繁体字 逻的繁体字 辑的繁体字
tense logic 非经典逻辑的分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。