Pointer Semantics with Forward Propagation Sujata Ghosh, Benedikt Löwe, Sanchit Saraf Abstract: Pointer semantics describing a formal language with the possibility of self-reference have been invented by Haim Gaifman; they form a fundamental way of understanding the semantics of logic programming, but have also been used extensively in philosophical logic and other applications of logic. In pointer semantics, truth values flow backwards along from the defining statement to the propositional variable. As a consequence, pointer semantics cannot deal properly with dependence networks that have terminal nodes. Ghosh, Löwe and Scorelle have proposed an abstract system of combining pointer semantics with forward flow of truth values. Their system was difficult to handle, and apart from the fact that the system could handle some enlightening examples, very few theoretical insights were made. In this paper, we now produce a more concrete variant of this system, built on three-valued logic which allows us to gain more theoretical control over its properties.