{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:16:23Z","timestamp":1773148583607,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,10,1]],"date-time":"2011-10-01T00:00:00Z","timestamp":1317427200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s00354-009-0116-6","type":"journal-article","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T12:57:38Z","timestamp":1320843458000},"page":"391-408","source":"Crossref","is-referenced-by-count":10,"title":["Paraconsistent Computation Tree Logic"],"prefix":"10.1007","volume":"29","author":[{"given":"Ken","family":"Kaneiwa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norihiro","family":"Kamide","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,10]]},"reference":[{"key":"116_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.2307\/2274105","volume":"49","author":"A. Almukdad","year":"1984","unstructured":"Almukdad A., Nelson D.: \u201cConstructible falsity and inexact predicates\u201d. Journal of Symbolic Logic 49, 231\u2013233 (1984)","journal-title":"Journal of Symbolic Logic"},{"key":"116_CR2","unstructured":"B\u00e9ziau, J.-Y., \u201cThe future of paraconsistent logic,\u201d Logical Studies, 2, Online available, 1999."},{"key":"116_CR3","doi-asserted-by":"crossref","unstructured":"Chechik, M. and MacCaull, W., \u201cCTL model-checking over logics with nonclassical negations,\u201d Proc. of the 33rd IEEE International Conference on Multivalued logics (ISMVL\u201903), pp. 293\u2013300, 2003.","DOI":"10.1109\/ISMVL.2003.1201420"},{"key":"116_CR4","first-page":"207","volume":"3831","author":"D. Chen","year":"2006","unstructured":"Chen D., Wu J.: \u201cReasoning about inconsistent concurrent systems: A nonclassical temporal logic\u201d. LNCS 3831, 207\u2013217 (2006)","journal-title":"LNCS"},{"key":"116_CR5","first-page":"52","volume":"131","author":"E.M. Clarke","year":"1981","unstructured":"Clarke E.M., Emerson E.A.: \u201cDesign and synthesis of synchronization skeletons using branching time temporal logic\u201d. LNCS 131, 52\u201371 (1981)","journal-title":"LNCS"},{"key":"116_CR6","doi-asserted-by":"crossref","first-page":"5 752","DOI":"10.1145\/876638.876643","volume":"50","author":"E.M. Clarke","year":"2003","unstructured":"Clarke E.M., Grumberg O., Jha S., Lu Y., Veith H.: \u201cCounterexample-guided abstraction refinement for symbolic model checking\u201d. Journal of the ACM, 50, 5 752\u2013794 (2003)","journal-title":"Journal of the ACM,"},{"key":"116_CR7","unstructured":"Clarke, E. M., Grumberg, O. and Peled, D. A., Model checking, The MIT Press, 1999."},{"key":"116_CR8","first-page":"4 597","volume":"3","author":"N.C.A. Costa da","year":"1995","unstructured":"da Costa N.C.A., B\u00e9ziau J., Bueno O.A.: \u201cAspects of paraconsistent logic\u201d. Bulletin of the IGPL, 3, 4 597\u2013614 (1995)","journal-title":"Bulletin of the IGPL,"},{"key":"116_CR9","doi-asserted-by":"crossref","unstructured":"Easterbrook S. and Chechik, M., \u201cA framework for multi-valued reasoning over inconsistent viewpoints,\u201d Proc. of the 23rd International Conference on Software Engineering (ICSE 2001), pp. 411\u2013420, 2001.","DOI":"10.1109\/ICSE.2001.919114"},{"key":"116_CR10","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/11817963_18","volume":"4144","author":"A. Gurfinkel","year":"2006","unstructured":"Gurfinkel A., Wei O., Chechik M.: \u201cYasm: a software model-checker for verification and refutation\u201d. Proc. of the 18th International Conference, Computer Aided Verification (CAV\u201906, LNCS 4144 4144, 170\u2013174 (2006)","journal-title":"Proc. of the 18th International Conference, Computer Aided Verification (CAV\u201906, LNCS 4144"},{"key":"116_CR11","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/11691372_14","volume":"3920","author":"A. Gurfinkel","year":"2006","unstructured":"Gurfinkel A., Chechik M.: \u201cWhy wast a perfectly good abstraction?\u201d. Proc. of the 18th International Conference Tools and Algorithms for Construction and Analysis of Systems (TACAS\u201906 LNCS. 3920, 212\u2013226 (2006)","journal-title":"Proc. of the 18th International Conference Tools and Algorithms for Construction and Analysis of Systems (TACAS\u201906 LNCS."},{"key":"116_CR12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y. Gurevich","year":"1977","unstructured":"Gurevich Y.: \u201cIntuitionistic logic with strong negation\u201d. Studia Logica 36, 49\u201359 (1977)","journal-title":"Studia Logica"},{"key":"116_CR13","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/j.tcs.2005.10.043","volume":"1-3","author":"N. Kamide","year":"2006","unstructured":"Kamide N.: \u201cLinear and affine logics with temporal, spatial and epistemic operators\u201d. Theoretical Computer Science 353 1-3, 165\u2013207 (2006)","journal-title":"Theoretical Computer Science 353"},{"issue":"3","key":"116_CR14","first-page":"251","volume":"15","author":"N. Kamide","year":"2006","unstructured":"Kamide N.: \u201cExtended full computation-tree logics for paraconsistent model checking\u201d. Logic and Logical Philosophy 15(3), 251\u2013276 (2006)","journal-title":"Logic and Logical Philosophy"},{"key":"116_CR15","unstructured":"Kamide, N., \u201cA uniform proof-theoretic foundation for abstract paraconsistent logic programming,\u201d Journal of Functional and Logic Programming, pp. 1\u201336, 2007."},{"key":"116_CR16","doi-asserted-by":"crossref","unstructured":"Kamide, N. and Kaneiwa K., \u201cParaconsistent negation and classical negation in computation tree logic,\u201d Proc. of the 2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 1, AI, INSTICC Press, pp. 464\u2013469, 2010.","DOI":"10.5220\/0002699504640469"},{"key":"116_CR17","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.jal.2009.06.001","volume":"8","author":"N. Kamide","year":"2010","unstructured":"Kamide N., Wansing H.: \u201cCombining linear-time temporal logic with constructiveness and paraconsistency\u201d. Journal of Applied Logic, 8, 33\u201361 (2010)","journal-title":"Journal of Applied Logic,"},{"issue":"2","key":"116_CR18","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/j.artint.2004.05.001","volume":"158","author":"K. Kaneiwa","year":"2004","unstructured":"Kaneiwa K.: \u201cOrder-sorted logic programming with predicate hierarchy\u201d. Artificial Intelligence, 158(2), 155\u2013188 (2004)","journal-title":"Artificial Intelligence,"},{"issue":"4","key":"116_CR19","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1007\/s00354-007-0028-2","volume":"25","author":"K. Kaneiwa","year":"2007","unstructured":"Kaneiwa K.: \u201cDescription logics with contraries, contradictories, and subcontraries\u201d. New Generation Computing, 25(4), 443\u2013468 (2007)","journal-title":"New Generation Computing,"},{"issue":"2","key":"116_CR20","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.tcs.2009.04.030","volume":"411","author":"K. Kaneiwa","year":"2010","unstructured":"Kaneiwa K., Satoh K.: \u201cOn the complexities of consistency checking for restricted UML class diagrams\u201d. Theoretical Computer Science 411(2), 301\u2013323 (2010)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"116_CR21","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1109\/69.91059","volume":"3","author":"T. Murata","year":"1991","unstructured":"Murata T., SubrahmanianV.S. Wakayama T.: \u201cA Petri net model for reasoning in the presence of inconsistency\u201d. IEEE Transactions on Knowledge and Data Engineering 3(3), 281\u2013292 (1991)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"116_CR22","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson D.: \u201cConstructible falsity\u201d. Journal of Symbolic Logic 14, 16\u201326 (1949)","journal-title":"Journal of Symbolic Logic"},{"key":"116_CR23","doi-asserted-by":"crossref","unstructured":"Odintsov, S. P. and Wansing, H., \u201cInconsistency-tolerant description logic: Motivation and basic systems,\u201d in Trends in Logic: 50 Years of Studia Logica (Hendricks, V. F. and Malinowski, J. eds.), Kluwer Academic Publishers, Dordrecht, pp. 301\u2013335, 2003.","DOI":"10.1007\/978-94-017-3598-8_11"},{"key":"116_CR24","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00935736","volume":"43","author":"G. Priest","year":"1982","unstructured":"Priest G., Routley R.: \u201cIntroduction: paraconsistent logics\u201d. Studia Logica, 43, 3\u201316 (1982)","journal-title":"Studia Logica,"},{"key":"116_CR25","doi-asserted-by":"crossref","unstructured":"Pnueli, A., \u201cThe temporal logic of programs,\u201d Proc. of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46\u201357, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"116_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-85796-5","volume-title":"Klassische und nicht-klassische Aussagenlogik","author":"W. Rautenberg","year":"1979","unstructured":"Rautenberg W.: Klassische und nicht-klassische Aussagenlogik. Vieweg, Braunschweig (1979)"},{"key":"116_CR27","first-page":"465","volume":"85","author":"N.N. Vorob\u2019ev","year":"1952","unstructured":"Vorob\u2019ev N.N.: \u201cA constructive propositional calculus with strong negation (in Russian)\u201d. Doklady Akademii Nauk SSR 85, 465\u2013468 (1952)","journal-title":"Doklady Akademii Nauk SSR"},{"issue":"6","key":"116_CR28","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1093\/logcom\/1.6.835","volume":"1","author":"G. Wagner","year":"1991","unstructured":"Wagner G.: \u201cLogic programming with strong negation and inexact predicates\u201d. Journal of Logic and Computation 1(6), 835\u2013859 (1991)","journal-title":"Journal of Logic and Computation"},{"key":"116_CR29","first-page":"1","volume":"681","author":"H. Wansing","year":"1993","unstructured":"Wansing H.: \u201cThe logic of information structures\u201d. Lecture Notes in Artificial Intelligence 681, 1\u2013163 (1993)","journal-title":"Lecture Notes in Artificial Intelligence"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-009-0116-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-009-0116-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-009-0116-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T22:52:08Z","timestamp":1741906328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-009-0116-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["116"],"URL":"https:\/\/doi.org\/10.1007\/s00354-009-0116-6","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,10]]}}}