CAJ | 학술논문

为了能够将哲学逻辑中的公理系统运用到行为时序逻辑的研究中，对行为时序逻辑公式的语义进行形式化定义，从语义和语法两方面研究行为时序逻辑公理系统和具有自反性质的线性时序逻辑公理系统之间的联系，提出并证明行为时序逻辑公式转换为自反线性时序逻辑公式的定理。按照集合论和模型论的思想，定义行为时序逻辑中项和行为时序逻辑原子公式的概念，定义Lesilie Lamport所提出的行为时序逻辑公式的语义。证明自反线性时序逻辑公理系统适用于行为时序逻辑公理系统，以此为基础证明行为时序逻辑的简单规则、基本规则和附加规则。
위료능구장철학라집중적공리계통운용도행위시서라집적연구중，대행위시서라집공식적어의진행형식화정의，종어의화어법량방면연구행위시서라집공리계통화구유자반성질적선성시서라집공리계통지간적련계，제출병증명행위시서라집공식전환위자반선성시서라집공식적정리。안조집합론화모형론적사상，정의행위시서라집중항화행위시서라집원자공식적개념，정의Lesilie Lamport소제출적행위시서라집공식적어의。증명자반선성시서라집공리계통괄용우행위시서라집공리계통，이차위기출증명행위시서라집적간단규칙、기본규칙화부가규칙。
To define the semantics of Temporal Logic of Actions (TLA) formulas so that philosophical logic axiom system can be used for the re-search on TLA. Investigates the relations between TLA and linear tense logic with reflexive property in semantics and syntax. Presents and proves transforming LTL system to TLA system using reflective properties. Proves the TLA system logic rule is proved by LTL axiom system. Defines the notion of item and atomic formula in the temporal logic of action through the idea of set theory and model theory. On this basis, defines the semantic of the temporal logic of action and proves that the axiom system of reflexive linear temporal logic is suit-able for the axiom system of the temporal logic of action. Proves the simple rules, basic rules and additional rules of the temporal logic of action.