Output details
11 - Computer Science and Informatics
Manchester Metropolitan University
Return to search
Output 0 of 0 in the submission
Article title
Linear Temporal Logic LTL: Basis for admissible rules
Type
D - Journal article
Title of journal
Journal of Logic and Computation
Article number
-
Volume number
21
Issue number
2
First page of article
157
ISSN of journal
1465-363X
Year of publication
2010
URL
-
Number of additional authors
1
Additional information
<11>This paper solves a difficult open problem: we construct a basis for rules admissible in the linear temporal logic LTL, i.e. we solve the problem of logical consequence in LTL for inference rules. The basis allows for the derivation of all possible rules admissible in LTL. The logic LTL is an efficient tool for formal verification of computer programs, which is of vital importance for computer science. Inference rules can be applicable for self-modifying programs working in dynamic environment, e.g. distributed computing, web computations and programs interacting with external agents.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Computational Intelligence and Reasoning
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-