Tensed Ontology Based on Simple Partial Logic Daisuke Kachi   View Paper (PDF)   Return to Temporal Logic in Computer Science 2 Abstract Simple partial logic (SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare that way with other two ways based on Lukasiewicz's three-valued logic and branching temporal logic. DiSC'03 © 2003 Association for Computing Machinery