dynamic logic

views updated

dynamic logic See modal logic.

More From encyclopedia.com