{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:57:34Z","timestamp":1725857854312},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319402284"},{"type":"electronic","value":"9783319402291"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40229-1_30","type":"book-chapter","created":{"date-parts":[[2016,6,11]],"date-time":"2016-06-11T12:54:04Z","timestamp":1465649644000},"page":"435-451","source":"Crossref","is-referenced-by-count":0,"title":["A Tableau System for Quasi-Hybrid Logic"],"prefix":"10.1007","author":[{"given":"Diana","family":"Costa","sequence":"first","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,12]]},"reference":[{"issue":"3","key":"30_CR1","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Log. J. IGPL 8(3), 339\u2013365 (2000)","journal-title":"Log. J. IGPL"},{"key":"30_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804076","volume-title":"Computability and Logic","author":"GS Boolos","year":"2007","unstructured":"Boolos, G.S., Burgess, J.P., Jeffrey, R.C.: Computability and Logic, 5th edn. Cambridge University Press, Cambridge (2007)","edition":"5"},{"key":"30_CR3","volume-title":"Hybrid Logic and Its Proof-Theory","author":"T Bra\u00fcner","year":"2010","unstructured":"Bra\u00fcner, T.: Hybrid Logic and Its Proof-Theory. Springer, Heidelberg (2010)"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Costa, D., Martins, M.: Inconsistencies in health care knowledge. In: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), pp. 37\u201342, October 2014","DOI":"10.1109\/HealthCom.2014.7001810"},{"key":"30_CR5","unstructured":"Costa, D., Martins, M.: Paraconsistency in hybrid logic. Accepted in the Journal of Logic and Computation (2016). http:\/\/sweet.ua.pt\/martins\/documentos\/preprint_2014\/phl14.pdf"},{"issue":"2","key":"30_CR6","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/s10844-006-2974-4","volume":"27","author":"J Grant","year":"2006","unstructured":"Grant, J., Hunter, A.: Measuring inconsistency in knowledge bases. J. Intell. Inf. Syst. 27(2), 159\u2013184 (2006)","journal-title":"J. Intell. Inf. Syst."},{"issue":"8\u20139","key":"30_CR7","doi-asserted-by":"crossref","first-page":"1064","DOI":"10.1016\/j.artint.2007.11.006","volume":"172","author":"J Grant","year":"2008","unstructured":"Grant, J., Hunter, A.: Analysing inconsistent first-order knowledge bases. Artif. Intell. 172(8\u20139), 1064\u20131093 (2008)","journal-title":"Artif. Intell."},{"key":"30_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1007\/3-540-44652-4_48","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"A Hunter","year":"2001","unstructured":"Hunter, A.: A semantic tableau version of first-order quasi-classical logic. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 544\u2013555. Springer, Heidelberg (2001)"},{"issue":"3","key":"30_CR9","doi-asserted-by":"crossref","first-page":"279","DOI":"10.3166\/jancl.20.279-304","volume":"20","author":"SP Odintsov","year":"2010","unstructured":"Odintsov, S.P., Wansing, H.: Modal logics with Belnapian truth values. J. Appl. Non-Class. Logics 20(3), 279\u2013304 (2010)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"30_CR10","doi-asserted-by":"publisher","unstructured":"Rivieccio, U., Jung, A., Jansana, R.: Four-valued modal logic: Kripke semantics and duality. J. Logic Comput. (2015). http:\/\/logcom.oxfordjournals.org\/citmgr?gca=logcom%3Bexv038v1 . doi: 10.1093\/logcom\/exv038","DOI":"10.1093\/logcom\/exv038"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40229-1_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:12:44Z","timestamp":1498320764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40229-1_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319402284","9783319402291"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40229-1_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}