Dynamic Modal Predicate Logic

Jan van Eijck

Abstract: "This paper presents a combination of dynamic predicate logic and update logic in the form of a dynamic version of modal predicate logic (DMPL).

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB