TítuloDescriptive Dynamic Logic and its Application to Reflective Architectures
Publication TypeBook Chapter
Year of Publication2002
AuthorsSierra C, Godo L, de Mántaras RLópez, Manzano M
EditorMeyer J.J.Ch., Treur. J.
Book TitleHandbook of Defeasible Reasoning and Uncertainty Management-Systems. Vol.7
EditorialKluwer Academic Pub

In this paper we present an extension of our previous work proposing a particular theory in propositional dynamic logic called Descriptive Dynamic Logic (DDL from now on) in such a way that a Knowledge Base built within a concrete multi-language logical architecture, will be mapped into a theory in DDL. The atomic DDL-formulas will be taken as the quotations of the formulas of the set of languages of the architecture upon which the Knowledge Base is built.