中文
Home
Scientific Research
Research Field
Paper Publications
Patents
Published Books
Research Projects
Teaching Research
Teaching Resources
Teaching Information
Teaching Achievement
Awards and Honours
Practice
Enrollment Information
Student Information
My Album
Blog
Current position:
Home
>>
Scientific Research
>>
Paper Publications
一个向上线序的命题时态逻辑PTL
Hits:
Release time:2021-05-14
Affiliation of Author(s):
马克思主义学院
Journal:
西南大学学报(社会科学版)
Key Words:
时态逻辑、向上线序、离散性、完全性
First Author:
吕进
Indexed by:
Journal paper
Document Code:
87807
Volume:
36
Issue:
2
Page Number:
70-74
ISSN No.:
1673-9841
Translation or Not:
no
Date of Publication:
2010-01-01
Pre One:
罗素的本体论思想及与名称和摹状词理论的关系
Next One:
认识的同一性与指称问题