Dynamic logic (modal logic)

From Free net encyclopedia