Incompleteness of an infinite-valued first-order Gödel logic and of some temporal logics of programs (original) (raw)

Academia.edu no longer supports Internet Explorer.

To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.