{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T22:10:25Z","timestamp":1757455825496},"reference-count":29,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"DOI":"10.1093\/logcom\/exw027","type":"journal-article","created":{"date-parts":[[2016,10,26]],"date-time":"2016-10-26T01:58:31Z","timestamp":1477447111000},"page":"exw027","source":"Crossref","is-referenced-by-count":3,"title":["Paraconsistency in hybrid logic"],"prefix":"10.1093","author":[{"given":"Diana","family":"Costa","sequence":"first","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,10,25]]},"reference":[{"key":"2016102518582658000_exw027v1.1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00032-0"},{"key":"2016102518582658000_exw027v1.2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp014"},{"key":"2016102518582658000_exw027v1.3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2010.07.006"},{"key":"2016102518582658000_exw027v1.4","unstructured":"Batens. D. Frontiers of Paraconsistent Logic. Studies in logic and computation. Research Studies Press Limited, 2000."},{"key":"2016102518582658000_exw027v1.5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60112-0_6"},{"key":"2016102518582658000_exw027v1.6","unstructured":"J.-Y. B\u00e9ziau Carnielli W. and Gabbay D. , eds. Handbook of paraconsistency. London: College Publications, 2007."},{"key":"2016102518582658000_exw027v1.7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.137"},{"key":"2016102518582658000_exw027v1.8","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.339"},{"key":"2016102518582658000_exw027v1.9","doi-asserted-by":"crossref","unstructured":"Blackburn P. , de Rijke M. and Venema Y. Modal Logic. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"2016102518582658000_exw027v1.10","doi-asserted-by":"crossref","unstructured":"Boolos G. S. , Burgess J. P. and Jeffrey R. C. Computability and Logic. 5th edn, Cambridge University Press, 2007.","DOI":"10.1017\/CBO9780511804076"},{"key":"2016102518582658000_exw027v1.11","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-006-9013-2"},{"key":"2016102518582658000_exw027v1.12","unstructured":"Carnielli W. , Coniglio M. , and D\u2019ottaviano. I. Paraconsistency: The Logical Way to the Inconsistent. Lecture Notes in Pure and Applied Mathematics, Taylor & Francis, 2010."},{"key":"2016102518582658000_exw027v1.13","doi-asserted-by":"crossref","unstructured":"Costa D. and Martins. M. A. Inconsistencies in health care knowledge. In IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), pp. 37\u201342. IEEE Computer Society, 2014.","DOI":"10.1109\/HealthCom.2014.7001810"},{"key":"2016102518582658000_exw027v1.14","unstructured":"da Costa N. C. A. and Krause. D. Remarks on the applications of paraconsistent logic to physics, In Filosofia, Ci\u00eancia e Hist\u00f3ria: uma homenagem aos 40 anos de colabora\u00e7\u00e3ode, Pietrocola M. and Freire O. Jr., (eds), Michel Paty com o Brasil, S.Paulo, Discurso Editorial, pp. 357\u2013359. December 2003."},{"key":"2016102518582658000_exw027v1.15","first-page":"1","article-title":"Uncertainty treatment using paraconsistent logic. Introducing paraconsistent artificial neural networks. In","volume-title":"Frontiers in Artificial Intelligence and Applications","volume":"vol. 211","author":"da Silva Filho","year":"2010"},{"key":"2016102518582658000_exw027v1.16","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2006.09.009"},{"key":"2016102518582658000_exw027v1.17","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.265"},{"key":"2016102518582658000_exw027v1.18","unstructured":"Ernst N. A. , Borgida A. , Jureta I. J. and Mylopoulos. J. Agile requirements engineering via paraconsistent reasoning. In Proceedings of Advanced Information Systems Engineering: 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25\u201329, 2012, Ralyt\u00e9 J. , Franch X. , Brinkkemper S. and Wrycza S. , eds. Springer, 2012."},{"key":"2016102518582658000_exw027v1.19","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-006-2974-4"},{"key":"2016102518582658000_exw027v1.20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.11.006"},{"key":"2016102518582658000_exw027v1.21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.06.001"},{"key":"2016102518582658000_exw027v1.22","doi-asserted-by":"crossref","first-page":"35","DOI":"10.12775\/LLP.1999.003","article-title":"A propositional calculus for inconsistent deductive systems.","volume":"7","author":"Ja\u015bkowski.","year":"1999","journal-title":"Logic and Logical Philosophy"},{"key":"2016102518582658000_exw027v1.23","unstructured":"Marcos. J. Modality and paraconsistency. In Logica Yearbook 2004, B\u011bhounek L. and B\u00edlkov\u00e1 M. eds, pp. 213\u2013222. Filosofia, 2005."},{"key":"2016102518582658000_exw027v1.24","unstructured":"Middelburg. C. A. A survey of paraconsistent logics. CoRR, abs\/1103.4324, 2011."},{"key":"2016102518582658000_exw027v1.25","doi-asserted-by":"crossref","unstructured":"Prior. A. Past, Present and Future. Clarendon Press, 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"2016102518582658000_exw027v1.26","doi-asserted-by":"crossref","unstructured":"Tanaka K. , Berto F. and Mares. E. Paraconsistency: Logic and Applications: Logic and Applications. Logic, epistemology and the Unity of Science, Springer, 2012.","DOI":"10.1007\/978-94-007-4438-7"},{"key":"2016102518582658000_exw027v1.27","unstructured":"ten Cate. B. Model Theory for Extended Modal Languages. PhD Thesis, University of Amsterdam, Netherlands, 2005. ILLC Dissertation Series DS-2005-01."},{"key":"2016102518582658000_exw027v1.28","unstructured":"Villadsen. J. Paraconsistent query answering systems. Logical Studies Online Journal, 1999."},{"key":"2016102518582658000_exw027v1.29","first-page":"37","article-title":"Comparative study of techniques in reducing inconsistent data.","volume":"5","author":"Yusof","year":"2012","journal-title":"International Journal of Database Theory and Application"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/doi\/10.1093\/logcom\/exw027\/8384379\/exw027.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T01:26:54Z","timestamp":1568510814000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exw027"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,25]]},"references-count":29,"alternative-id":["10.1093\/logcom\/exw027"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exw027","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,25]]}}}