Search
 
loader loading subjects...
cover
The Decidability of RPTL
Fahad Khan
151 - 161
10.3233/978-1-60750-676-8-151
Frontiers in Artificial Intelligence and Applications
Volume 222: STAIRS 2010
Abstract

In this paper we look at regular path temporal logic, RPTL, a modal logic which combines the ability to quantify over (finite) paths described by regular expressions (a property which characterises PDL) with the addition of temporal operators. The formulation of RPTL was inspired by agent programming verification considerations. In this paper we prove the decidabilty of RPTL and establish complexity bounds on the satisfiability problem for RPTL by translating it into the theory of alternating tree automata on infinite trees.

$35.00 / €27.50 / £22.00
Add PDF to cart