actually
нареч.
действительно, на самом деле, в самом деле, фактически, даже; в настоящее время
Actually
Модальная логика
Модальная логика —
логика в которой кроме стандартных логических связок, переменных и/или
предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временны́е («когда-то в будущем», «всегда в прошлом», «всегда» и т. д.) и пространственные («здесь», «где-то», «близко» и т. д.). Например, модальная логика способна оперировать утверждениями типа «Москва всегда была столицей России» или «Санкт-Петербург, когда-то в прошлом, был столицей России», которые невозможно или крайне сложно выразить в не модальном языке. Кроме временных и пространственных модальностей есть и другие, например «известно, что» (логика знания) или «можно доказать, что» (логика доказуемости).
Продолжение на Wikipedia.οrg...
actually
(d) на самом деле; фактически
actually
adv. 1. фактически, на самом деле 2. в настоящее время
actually
"в натуре" (Часто можно слышать в разговорной речи: I don't know actually.- В натуре, я этого не знаю.)