Making Things Happen |
| |
Authors: | van Eijck Jan |
| |
Institution: | (1) CWI, PO Box 94079, 1090 GB Amsterdam;(2) ILLC, Amsterdam;(3) Uil-OTS, Utrecht |
| |
Abstract: | We explore some logics of change, focusing on commands to change the world in such a way that certain elementary propositions become true or false. This investigation starts out from the following two simplifying assumptions: (1) the world is a collection of facts (Wittgenstein), and (2), the world can be changed by changing elementary facts (Marx). These assumptions allow us to study the logic of imperatives in the simplest possible setting. |
| |
Keywords: | semantics of natural language modal logic dynamic logic knowledge representation languages |
本文献已被 SpringerLink 等数据库收录! |
|