Source: /wikibot/dynamic-logic-modal-logic

= Dynamic logic (modal logic)
{wiki=Dynamic_logic_(modal_logic)}