An alternative to the iteration operator of Propositional Dynamic Logic
Castilho, Marcos and Herzig, Andreas
Abstract:
In this paper we present an alternative to the iteration operator of Propositional Dynamic
Logic (PDL) and a tableau system
for the resulting logic. We show the correctness and completeness of
the method.
Bibtex-entry:
@TechReport{CaHe-TR0596,
author = "Castilho, Marcos A. and Herzig, Andreas",
title = "An alternative to the iteration operator of Propositional Dynamic Logic",
institution = "IRIT/UPS",
number = "96-05-R",
month = "jan",
year = "1996"
}
http://www.inf.ufpr.br/~marcos