{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:10:02Z","timestamp":1706649002309},"reference-count":7,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2001,1,1]]},"DOI":"10.1305\/ndjfl\/1054301355","type":"journal-article","created":{"date-parts":[[2003,6,3]],"date-time":"2003-06-03T01:57:03Z","timestamp":1054605423000},"source":"Crossref","is-referenced-by-count":1,"title":["Extended Gentzen-type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems"],"prefix":"10.1215","volume":"42","author":[{"given":"Osamu","family":"Morikawa","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"Goldblatt, R., <i>Logics of T<\/i>ime and Computation, 2d edition, CSLI Lecture Notes, CLSI, Stanford, 1992."},{"key":"2","doi-asserted-by":"publisher","unstructured":"H\u00e1jek, P., D. Harmancov\u00e1, and R. Verbrugge, \"A qualitative fuzzy possibilistic logic\", <i>International Journal of Approximate Reasoning<\/i>, vol. 12 (1995), pp. 1\u201319.","DOI":"10.1016\/0888-613X(94)00011-Q"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Lipski, W., \"On semantics issues connected with incomplete information database\", <i>ACM Transactions on Database Systems<\/i>, vol. 4 (1979), pp. 269\u201396.","DOI":"10.1145\/320083.320088"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Morikawa, O., \"Some modal logics based on a three-valued logic\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 30 (1989), pp. 130\u201337.","DOI":"10.1305\/ndjfl\/1093635000"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Morikawa, O., \"An extended G\"entzen-type formulation of a many-valued modal propositional logic based on Zadeh's similarity relation, <i>Fuzzy Sets and Systems<\/i>, vol. 101 (1999), pp. 115\u201323.","DOI":"10.1016\/S0165-0114(97)00044-4"},{"key":"6","unstructured":"Nakamura, A., \"On a three-valued logic based on incomplete knowledge systems\", Technical Report 1, Japan Research Group of Multiple-valued Logic, The Institute of Electronics, Information and Communication Engineers, 1995. Many-Valued Logic Technical Report, pp. 11\u201318."},{"key":"7","unstructured":"Takahashi, M., \"Many-valued logics of extended Gentzen style. I\", Technical Report Section A.9, Kyoiku Daigaku, Science Reports of Tokyo, 1968, pp. 271\u201392."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1054301355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:55:45Z","timestamp":1706648145000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-42\/issue-1\/Extended-Gentzen-type-Formulations-of-Two-Temporal-Logics-Based-on\/10.1305\/ndjfl\/1054301355.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,1,1]]},"references-count":7,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2001,1,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1054301355","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2001,1,1]]}}}