Reasoning and inference rules in basic linear temporal logic ??script T?


Тип публикации: статья из журнала (материалы конференций, опубликованные в журналах)

Год издания: 2010

Идентификатор DOI: 10.1007/978-3-642-15390-7_23

Ключевые слова: Admissible rules, Inference rules, Linear temporal logic, Preliminary information, Knowledge based systems, Temporal logic

Аннотация: Our paper studies a formalization of reasoning in basic linear temporal logic ??script T? in terms of admissible inference rules. The paper contains necessary preliminary information and description of new evolved technique allowing by a sequence of mathematical lemmas to get our main result. Main result is found explicit basis forПоказать полностьюrules admissible in (which, in particular, allows to compute admissible rules). © 2010 Springer-Verlag.

Ссылки на полный текст


Журнал: (8 September 2010 through 10 September 2010, Cardiff

Выпуск журнала: Vol. 6277 LNAI, Is. PART 2

Номера страниц: 224-233


  • Babenyshev S. (Institute of Mathematics,Siberian Federal University)
  • Rybakov V. (Institute of Mathematics,Siberian Federal University)