Descriptive dynamic logic and its application to reflective architectures
- 30 September 1996
- journal article
- Published by Elsevier in Future Generation Computer Systems
- Vol. 12 (2-3), 157-171
- https://doi.org/10.1016/0167-739x(96)00007-6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A FORMALIZATION OF VIEWPOINTSFundamenta Informaticae, 1995
- Local multi-valued logics in modular expert systemsJournal of Experimental & Theoretical Artificial Intelligence, 1994
- Multilanguage hierarchical logics, or: How we can do without modal logicsArtificial Intelligence, 1994
- On the use of reflection principles in modelling complex reasoningInternational Journal of Intelligent Systems, 1991
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980