Enlaces: |
![](http://science-h.com/sh/assets/temas/umad/img/tema/globe.png)
The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known but…
|