Логіка динамічна

напрям логічного моделювання динамічних аспектів міркувань