{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T19:02:05Z","timestamp":1778094125789,"version":"3.51.4"},"reference-count":22,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1996,1]]},"DOI":"10.1080\/11663081.1996.10510865","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T04:05:01Z","timestamp":1338350701000},"page":"29-47","source":"Crossref","is-referenced-by-count":2,"title":["Automated deduction in a graphical temporal logic"],"prefix":"10.1080","volume":"6","author":[{"given":"L. E.","family":"Moser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. M.","family":"Melliar-Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y. S.","family":"Ramakrishna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Kutty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L. K.","family":"Dillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"CIT0002","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Proceedings of the 17th International Colloquium on Automata, Languages, and Programming","author":"Alur R.","year":"1990"},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1109\/LICS.1990.113764","volume-title":"Proceedings of the 5th IEEE Symposium on Logic in Computer Science","author":"Alur R.","year":"1990"},{"key":"CIT0004","first-page":"139","volume-title":"Proceedings of the 10th ACM Conference on Principles of Distributed Computing","author":"Alur R.","year":"1991"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"CIT0007","first-page":"196","volume-title":"Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems","author":"Dill D. L.","year":"1989"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/192218.192226","volume":"3","author":"Dillon L. K.","year":"1994","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"CIT0010","volume-title":"An Introduction to Modal Logic","author":"Hughes G. E.","year":"1968"},{"key":"CIT0011","volume-title":"Proceedings of the 8th British Colloquium for Theoretical Computer Science","author":"Kono S.","year":"1992"},{"key":"CIT0012","unstructured":"Koomen, J. A.G. M. 1989. \u201cThe TIMELOGIC temporal reasoning system,\u201d Technical Report 231, Department of Computer Science, The University of Rochester, Rochester, NY (March\u201d."},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1109\/LICS.1990.113763","volume-title":"Proceedings of the 5th IEEE Symposium on Logic in Computer Science","author":"Lewis H.","year":"1990"},{"key":"CIT0014","first-page":"201","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"Manna Z.","year":"1988"},{"key":"CIT0015","first-page":"371","volume-title":"Proceedings of the Workshop on Logics of Programs","author":"Moszkowski B.","year":"1983"},{"key":"CIT0016","first-page":"71","volume-title":"IEEE Computer","author":"Myers B. A.","year":"1990"},{"key":"CIT0017","unstructured":"Niemel\u00e4, I. and Tuominen, H. 1987. \u201cHelsinki Logic Machine: A system for logical expertise,\u201d Technical Report Bl, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland\u201d."},{"key":"CIT0018","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-56287-7_94","volume-title":"Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science","author":"Ramakrishna Y. S.","year":"1992"},{"key":"CIT0019","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/3-540-57529-4_52","volume-title":"Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science","author":"Ramakrishna Y. S.","year":"1993"},{"key":"CIT0020","first-page":"518","volume-title":"Proceedings of the European Conference on Design Automation","author":"Schl\u00f6r R.","year":"1993"},{"key":"CIT0021","unstructured":"van Benthem, J. 1983. 63\u201364. Modal Logic and Classical Logic, Monographs in Philosophical Logic and Formal Linguistics"},{"key":"CIT0022","first-page":"119","volume-title":"Logique et Analyse, Novelle S\u00e9rie 28e Ann\u00e9e, 110\u2013111 Numero Special, Automated Reasoning in Non-Classical Logic","author":"Wolper P.","year":"1985"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:27:11Z","timestamp":1497972431000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1996.10510865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,1]]}},"alternative-id":["10.1080\/11663081.1996.10510865"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1996.10510865","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,1]]}}}