Title |
Loop-free verification of termination of derivation for a fragment of dynamic logic / |
Translation of Title |
Beciklis irodymų baigtinumo tikrinimas dinaminės logikos fragmentui. |
Authors |
Pliuškevičius, Regimantas |
DOI |
10.15388/LMR.2008.18111 |
Full Text |
|
Is Part of |
Lietuvos matematikos rinkinys.. Vilnius : Vilniaus universiteto leidykla. 2008, t. 48/49, p. 283-287.. ISSN 0132-2818. eISSN 2335-898X |
Keywords [eng] |
logic, propositional dynamic ; calculus, sequent ; loop-check ; rule, invertible |
Abstract [eng] |
A fragment of a deterministic propositional dynamic logic (DPDL, in short) is considered The language of considered fragment contains propositional symbols, action constants, action operator (repetition) and logical symbols. For safety fragment of considered DPDL a loop-check-free sequent calculus with invertible rules is presented. |
Published |
Vilnius : Vilniaus universiteto leidykla |
Type |
Conference paper |
Language |
English |
Publication date |
2008 |
CC license |
|