2010 | OriginalPaper | Chapter
Reasoning and Inference Rules in Basic Linear Temporal Logic
Authors : S. Babenyshev, V. Rybakov
Published in: Knowledge-Based and Intelligent Information and Engineering Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Our paper studies a formalization of reasoning in basic linear temporal logic
$\mathcal{BLTL}$
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
$\mathcal{BLTL}$
(which, in particular, allows to compute admissible rules).