Linear Temporal Logic LTL: Basis for Admissible Rules

SERGEY BABENYSHEV; VLADIMIR RYBAKOV

首页> 外文期刊>Journal of logic and computation >Linear Temporal Logic LTL: Basis for Admissible Rules

【24h】

Linear Temporal Logic LTL: Basis for Admissible Rules

机译：线性时序逻辑LTL：可接受规则的基础

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

页面导航

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

摘要

The object of our study is the prepositional linear temporal logic LTL with operations Until and Next. We deal with inference rules admissible in LTL. Earlier the decidability of LTL w.r.t. to admissibility was shown. That, in particular, allowed to suggest a recursive infinite basis for admissible rules. However, that result gives no information about the structure and properties of such basis, thereby not allowing to use it for inferences. The current article aims to cover this gap and to provide an explicit (infinite) basis for rules admissible in LTL.

机译：我们研究的对象是介词线性时态逻辑LTL，具有操作直到和下一步。我们处理LTL中允许的推理规则。较早的LTL w.r.t.显示了可接纳性。特别是，这允许为可接受的规则提供递归的无限基础。但是，该结果没有提供有关此基础的结构和属性的信息，因此不允许将其用于推理。当前的文章旨在弥补这一空白，并为LTL中可接受的规则提供明确的（无限的）基础。

著录项

来源
《Journal of logic and computation》 |2011年第2期|p.157-177|共21页
作者
SERGEY BABENYSHEV; VLADIMIR RYBAKOV;
展开▼
作者单位

Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester Ml 5GD, UK;

Institute of Mathematics,Siberian Federal University, 79 Svobodny Prospect, Krasnoyarsk, 660041, Russia;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
temporal logic; admissible rules; bases for inference rules;

机译：时间逻辑;可接受的规则;推理规则的基础;

相似文献

外文文献
中文文献
专利

1. Linear Temporal Logic LTL_K extended by Multi-Agent Logic K_n with Interacting Agents [J] . VLADIMIR RYBAKOV Journal of logic and computation . 2009,第6期

机译：线性时序逻辑LTL_K由具有交互代理的Multi-Agent Logic K_n扩展
2. AN EXPLICIT BASIS FOR ADMISSIBLE INFERENCE RULES IN TABLE MODAL LOGICS OF WIDTH 2 [J] . V. V. Rimatskii Algebra and logic . 2009,第1期

机译：宽度2的表模态逻辑中的可推论规则的显式基础
3. An explicit basis for the admissible inference rules of the modal logics extending S4.1 And Grz [J] . Rimatskii VV Siberian Mathematical Journal . 2009,第4期

机译：扩展S4.1和Grz的模态逻辑的容许推理规则的明确基础
4. Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL [C] . Sergey Babenyshev, Vladimir Rybakov Conference on Computability in Europe . 2008

机译：基于线性时间逻辑LTL的局部常见知识的混合逻辑可解密性
5. A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications [D] . Iannopollo, Antonio. 2018

机译：一种基于平台的线性时序逻辑规范验证和综合方法
6. Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems [O] . Gerald Heddy, Umer Huzaifa, Peter Beling, -1

机译：基于线性时序逻辑（LTL）的智能制造系统监控
7. Linear Temporal Logic LTL: Basis for Admissible Rules [O] . S. Babenyshev, V. Rybakov 2010

机译：线性时间逻辑LTL：可允许规则的基础

Linear Temporal Logic LTL: Basis for Admissible Rules

摘要

著录项

相似文献

相关主题

期刊订阅