Future Work

The implementation of W-KLIC is still in progress and is expected to be completed by June '99. The following elements of W-KLIC are still missing:

• completion of the object layer (introducing the notion of HTML graph and the relative graph quantifiers);
• implementation of the active layer of W-KLIC, allowing the use of KLIC modules as (partial) replacement of HTML documents, with the relative notions of KLIC theories and restricted forms of modal logic. This feature is already partially present through the notion of active pages and the use of the navigator module.
• development of logical pages;