拉杜·马达尔;卢卡·卡德利;Larsen,Kim G。 连续马尔科夫逻辑——公理化和量化元理论。 (英语) Zbl 1261.03088号 日志。方法计算。科学。 8,第4号,第19号论文,28页(2012年). 摘要:连续马尔可夫逻辑(CML)是一种多模态逻辑,它表示具有任意(分析)状态空间的连续时间标记马尔可夫过程的定量和定性特性,以下称为连续马尔可夫过程(CMP)。慢性粒细胞白血病的模式评估了表征慢性粒细胞白血病标记转变持续时间的指数分布随机变量的比率。本文给出CML的弱完备公理化和强完备公理,并证明了一系列元属性,包括有限模型性质和正则模型的构造。CML表征了随机双相似性,并支持可满足关系的量化扩展的定义,可满足关系用于衡量模型和属性之间的“兼容性”。在这种情况下,元属性允许我们证明逻辑的两个稳健性定理,说明可以扰动公式并保持“近似满足”。 引用于5文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 60J25型 一般状态空间上的连续时间Markov过程 87年第68季度 计算机科学中的概率(算法分析、随机结构、相变等) 关键词:概率模态逻辑;随机模态逻辑;公理化;马尔可夫过程;度量语义;有限模型特性;随机双相似性 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}等人,《日志》。方法计算。科学。8,第4号,第19号论文,28页(2012;Zbl 1261.03088) 全文: 内政部 arXiv公司