时态逻辑
【词语拼音】shí tài luó ji
【词语繁体】時態邏輯
【词语结构】ABCD式词语
【词语字数】四字词语
【网络解释】
tense logic 非经典逻辑的分支学科。其研究对象是，把含有时态动词的语句形式化，并且把含有这种语句的推理系统化。
模态逻辑三态逻辑逻辑逻辑图负逻辑合逻辑元逻辑逻辑学正逻辑逻辑狗小逻辑逻辑闸逻辑门住逻辑逻辑值逻辑球逻辑题逻辑与逻辑性逻辑语逻辑怪逻辑树现代逻辑谓词逻辑逻辑检查逻辑常项二值逻辑数理逻辑逻辑判断逻辑顺序逻辑错误经典逻辑逻辑导论逻辑演算科学逻辑逻辑关系电路逻辑逻辑编程逻辑方块逻辑坏道辩证逻辑逻辑运算逻辑分析代数逻辑逻辑主义逻辑函数逻辑文件高阶逻辑算法逻辑逻辑拼图法律逻辑智慧逻辑逻辑方案普通逻辑逻辑矛盾数字逻辑哲学逻辑多值逻辑先验逻辑逻辑结构逻辑重音价值逻辑逻辑方法博弈逻辑逻辑控制逻辑比较鸟的逻辑佛教逻辑符号逻辑逻辑聚合汉堡逻辑二阶逻辑关系逻辑因果逻辑逻辑电路逻辑表示传统逻辑模糊逻辑思维逻辑幸运逻辑趣味逻辑数学逻辑鸟笼逻辑逻辑人生逻辑图片程序逻辑逻辑主语逻辑元件逻辑冒险逻辑哲学逻辑推理逻辑记录逻辑记忆逻辑设备命题逻辑一阶逻辑