Hierarchies of modaland temporal logicswith referencepointers Valentin Goranko1996 год

Hierarchies of modal and temporal logics with reference pointers
статья из журнала