Внутрішньою пропозиційною часовою логікою автор називає розділ логіки, який досліджує поєднання часових висловлювань у більш складні за допомогою спеціальних секвенційних зв"язок, які поєднують у собі часовий та логічний зміст. Стаття присвячена доведенню теореми про число можливих станів справ, які можуть позначатися довільним молекулярним часовим висловлюванням, складеним з двох атомів.
