@article{oai:sucra.repo.nii.ac.jp:00012083,
 author = {加地, 大介},
 journal = {Proceedings of Ninth International Symposium on Temporal Representation and Reasoning:TIME-02},
 month = {},
 note = {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 threevalued logic and branching temporal logic., text, application/pdf},
 pages = {141--145},
 title = {Tensed Ontology based on Simple Partial Logic},
 year = {2002},
 yomi = {カチ, ダイスケ}
}