.png){kind=icon}
返回
Conceptual Modeling in Full Computation-Tree Logic with Sequence Modal Operator
.png){kind=icon}
OA
AI
DOI：10.1002/int.20486.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS*, is introduced as a Kripke semantics with a sequence modal operator. This logic can appropriately represent hierarchical tree structures in cases where sequence modal operators in CTLS* are applied to tree structures. We prove a theorem for embedding CTLS* into CTL*. The validity, satisfiability, and model-checking problems of CTLS* are shown to be decidable. An illustrative example of biological taxonomy is presented using CTLS* formulas. (C) 2011 Wiley Periodicals, Inc.
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.7
论文数:
3.1K
被引数:
8.1K
机构
引用论文
Characterization of apxlVA, a new RTX determinant of Actinobacillus pleuropneumoniae.png)
MicrobiologyOAAI
MicrobiologyIF0
OAAI分享收藏Altered Neurotransmitter Expression in the Corticothalamocortical Network of an Absence Epilepsy Model with impaired Feedforward InhibitionNeuroscience
NeuroscienceIF0
PREAI
分享收藏 没有更多内容
没有更多内容