Axioms for Branching Time

Mark Reynolds

首页> 外文期刊>Journal of logic and computation >Axioms for Branching Time

【24h】

Axioms for Branching Time

机译：分支时间公理

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Logics of general branching time, or historical necessity, have long been studied but important axiomatization ques- tions remain open. Here the difficulties of finding axioms for such logics are considered and ideas for solving some of the main open problems are presented. A new, more expressive logical account is also given to support Peirce's prohibition on truth values being attached to the contingent future.

机译：长期以来，一直在研究一般分支时间的逻辑或历史的必要性，但重要的公理化问题仍然存在。这里考虑了为此类逻辑找到公理的困难，并提出了解决一些主要开放性问题的想法。还提供了一种新的，更具表现力的逻辑说明，以支持Peirce禁止将真值附加到或有的未来。

著录项

来源
《Journal of logic and computation》 |2002年第4期|p.679-697|共19页
作者
Mark Reynolds;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Temporal logic; axiomatizations; decidability;

机译：时间逻辑;公理化;可判定性;

相似文献

外文文献
中文文献
专利

1. The time slice axiom in perturbative quantum field theory on globally hyperbolic spacetimes [J] . Chilian B., Fredenhagen K. Communications in Mathematical Physics . 2009,第2期

机译：整体双曲时空的摄动量子场理论中的时间片公理
2. The Time Slice Axiom in Perturbative Quantum Field Theory on Globally Hyperbolic Spacetimes [J] . Bruno Chilian, Klaus Fredenhagen Communications in Mathematical Physics . 2009,第2期

机译：全局双曲时空摄动量子场理论中的时间片公理
3. The Time Slice Axiom in Perturbative Quantum Field Theory on Globally Hyperbolic Spacetimes [J] . Bruno Chilian, Klaus Fredenhagen Communications in Mathematical Physics . 2009,第2期

机译：全局双曲时空摄动量子场理论中的时间片公理
4. Independence of each axiom in a set of axioms and complete sets of axioms of boolean algebra [C] . Ninomiya, T., Mukaidono, . 2002

机译：一组公理和一组完整的布尔代数公理中的每个公理的独立性
5. Axiom Selection by Maximization: V = Ultimate L vs Forcing Axioms [D] . Schatz, Jeffrey Robert. 2019

机译：通过最大化的公理选择：V = Ultimate L VS强制公理
6. Study of intraventricular conduction times in patients with left bundle-branch block and left axis deviation and in patients with left bundle-branch block and normal QRS axis using His bundle electrograms. [O] . R A Spurrell, D M Krikler, E Sowton 1972

机译：使用His束电描记图研究左束支传导阻滞和左轴偏斜患者以及左束支传导阻滞和QRS轴正常的患者的室内传导时间。
7. Trees and Branching Axioms (Model Theory of Fields and its Applications) [O] . Tsuboi Akito 2012

机译：树木和分支公理（场模型理论及其应用）

Axioms for Branching Time

摘要

著录项

相似文献

相关主题

期刊订阅