文章基本信息

标题：包含関係と先行関係をもつ時区間論理におけるフレームの埋込み可能性
本地全文：下载
作者：古賀たかし ; 佐野勝彦 ; 東条敏等
期刊名称：コンピュータソフトウェア
印刷版ISSN：0289-6540
出版年度：2013
卷号：30
期号：1
页码：1_152-1_163
DOI：10.11309/jssst.30.1_152
出版社：Japan Society for Software Science and Technology
摘要：
本稿では，包含関係と先行関係を持つ決定可能な時区間論理を提案する．現実的な時区間を表現する論理がもつべき基礎的な性質を考察する．その基礎的な性質として，フレームを構成する時区間が，実数軸へ写せることを要請し，その性質をフレームの埋込み可能性として提案する．埋込み可能なフレーム・クラスは，我々の時区間論理式では特徴づけることができないが，任意の有限フレームについて，そのフレームが埋込み可能かどうかを判定する手続きを示す．