Model for HL.
Model for HL. The model is composed by the Kripke structure and the symbol tables of propositional symbols, modalities, nominals and worlds. It can be identified by a name.
The model is composed by the Kripke structure and the symbol tables of propositional symbols, modalities, nominals and worlds. It can be identified by a name.
Alphabetic index