El artículo discute sistemas mínimos de lógica temporal construidos sobre la base de la lógica clásica, así como la lógica intuicionista. Se discuten las construcciones de estos sistemas, así como sus propiedades básicas. Se mencionó el sistema como el sistema mínimo de lógica temporal construido sobre la base de la lógica clásica, mientras que el sistema y su modificación se discutieron como el sistema mínimo de lógica temporal construido sobre la base de la lógica intuicionista.