Dynamic logic (modal logic)

[ "Algorithm", "Discrete mathematics", "Programming language", "Theoretical computer science", "Second-order logic", "Intermediate logic", "Predicate logic", "Many-valued logic", "Proof calculus" ]