TEMPORAL LOGIC BASED HYPERTEXT SPECIFICATION

A hypertext model based on temporal logic is proposed．This model extends the linear temporal spatial specification of multimedia script into the non-linear temporal spatial specification of hypertext structure．By using this model，we can specify nodes，links and step-wise refinement authoring procedure of hypertext in a unified framework．A new hypertext markup language based on this model is implemented，and a visual interactive hypertext system based on this language has been developed．