Dynamic Logic

New and improved SEP entry on dynamic logic by Philippe Balbiani is now up.

Leave a Reply

Your email address will not be published. Required fields are marked *