2.50
Hdl Handle:
http://hdl.handle.net/2173/96168
Title:
Inference in discrete linear temporal logic
Authors:
Rybakov, Vladimir V.
Citation:
Rybakov, V.V., Inference in discrete linear temporal logic.
Issue Date:
Mar-2005
URI:
http://hdl.handle.net/2173/96168
Additional Links:
http://www.uni-log.org/one2.html; http://www.uni-log.org/unilogabstract.pdf
Abstract:
We study logical inference in terms of admissible consecutions (admissible inference rules) for the temporal linear logics. We start by a proof that even linear temporal logics do not enjoy finite model property. Main results of our research are: Theorem 1. The temporal logic DLTL of all integer numbers is decidable w.r.t. admissible inference rules. Theorem 2. The temporal logic L(cln) based on all natural numbers is decidable w.r.t. admissible inference rules.
Type:
Presentation; Meetings and Proceedings
Language:
en
Description:
Paper presented at First World Congress and School on Universal Logic in Montreux, March 26th - April 3rd 2005.

Full metadata record

DC FieldValue Language
dc.contributor.authorRybakov, Vladimir V.en
dc.date.accessioned2010-04-09T13:39:38Z-
dc.date.available2010-04-09T13:39:38Z-
dc.date.issued2005-03-
dc.identifier.citationRybakov, V.V., Inference in discrete linear temporal logic.en
dc.identifier.urihttp://hdl.handle.net/2173/96168-
dc.descriptionPaper presented at First World Congress and School on Universal Logic in Montreux, March 26th - April 3rd 2005.en
dc.description.abstractWe study logical inference in terms of admissible consecutions (admissible inference rules) for the temporal linear logics. We start by a proof that even linear temporal logics do not enjoy finite model property. Main results of our research are: Theorem 1. The temporal logic DLTL of all integer numbers is decidable w.r.t. admissible inference rules. Theorem 2. The temporal logic L(cln) based on all natural numbers is decidable w.r.t. admissible inference rules.en
dc.language.isoenen
dc.relation.urlhttp://www.uni-log.org/one2.htmlen
dc.relation.urlhttp://www.uni-log.org/unilogabstract.pdfen
dc.titleInference in discrete linear temporal logicen
dc.typePresentationen
dc.typeMeetings and Proceedingsen
All Items in e-space are protected by copyright, with all rights reserved, unless otherwise indicated.