{"id":"https://openalex.org/W1867200404","doi":"https://doi.org/10.1007/bfb0045101","title":"A three-valued quantificational logic of context","display_name":"A three-valued quantificational logic of context","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W1867200404","doi":"https://doi.org/10.1007/bfb0045101","mag":"1867200404"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0045101","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0045101","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037325282","display_name":"Kaile Su","orcid":"https://orcid.org/0000-0001-6741-9699"},"institutions":[{"id":"https://openalex.org/I198357462","display_name":"Changsha University","ror":"https://ror.org/011d8sm39","country_code":"CN","type":"education","lineage":["https://openalex.org/I198357462"]},{"id":"https://openalex.org/I32574673","display_name":"Shantou University","ror":"https://ror.org/01a099706","country_code":"CN","type":"education","lineage":["https://openalex.org/I32574673"]},{"id":"https://openalex.org/I56934997","display_name":"Changsha University of Science and Technology","ror":"https://ror.org/03yph8055","country_code":"CN","type":"education","lineage":["https://openalex.org/I56934997"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Kaile Su","raw_affiliation_strings":["Dept. of Computer Science, Changsha Inst. of Technology, 410073, Changsha, P.R. China","Inst. of Computer Science, Shantou Univ., 515063, Shantou, P.R. China","Dept. of Computer Science, Changsha Inst. of Technology, Changsha, P.R. China","Inst. of Computer Science, Shantou Univ., Shantou, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Changsha Inst. of Technology, 410073, Changsha, P.R. China","institution_ids":["https://openalex.org/I198357462","https://openalex.org/I56934997"]},{"raw_affiliation_string":"Inst. of Computer Science, Shantou Univ., 515063, Shantou, P.R. China","institution_ids":["https://openalex.org/I32574673"]},{"raw_affiliation_string":"Dept. of Computer Science, Changsha Inst. of Technology, Changsha, P.R. China","institution_ids":["https://openalex.org/I56934997"]},{"raw_affiliation_string":"Inst. of Computer Science, Shantou Univ., Shantou, P.R. China","institution_ids":["https://openalex.org/I32574673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110142822","display_name":"Decheng Ding","orcid":null},"institutions":[{"id":"https://openalex.org/I119454577","display_name":"Nanjing Agricultural University","ror":"https://ror.org/05td3s095","country_code":"CN","type":"education","lineage":["https://openalex.org/I119454577"]},{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Decheng Ding","raw_affiliation_strings":["Dept. of Math., Nanjing Univ., 210008, Nanjing, P.R. China","Dept. of Math., Nanjing Univ., Nanjing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Math., Nanjing Univ., 210008, Nanjing, P.R. China","institution_ids":["https://openalex.org/I119454577","https://openalex.org/I36399199","https://openalex.org/I881766915"]},{"raw_affiliation_string":"Dept. of Math., Nanjing Univ., Nanjing, P.R. China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111665765","display_name":"Huowang Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I198357462","display_name":"Changsha University","ror":"https://ror.org/011d8sm39","country_code":"CN","type":"education","lineage":["https://openalex.org/I198357462"]},{"id":"https://openalex.org/I56934997","display_name":"Changsha University of Science and Technology","ror":"https://ror.org/03yph8055","country_code":"CN","type":"education","lineage":["https://openalex.org/I56934997"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huowang Chen","raw_affiliation_strings":["Dept. of Computer Science, Changsha Inst. of Technology, 410073, Changsha, P.R. China","Dept. of Computer Science, Changsha Inst. of Technology, Changsha, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Changsha Inst. of Technology, 410073, Changsha, P.R. China","institution_ids":["https://openalex.org/I198357462","https://openalex.org/I56934997"]},{"raw_affiliation_string":"Dept. of Computer Science, Changsha Inst. of Technology, Changsha, P.R. China","institution_ids":["https://openalex.org/I56934997"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5037325282"],"corresponding_institution_ids":["https://openalex.org/I198357462","https://openalex.org/I32574673","https://openalex.org/I56934997"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1388102,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"343","last_page":"352"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.7159621119499207},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7099252939224243},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.5719290971755981},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5216158628463745},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.46566203236579895},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.46037015318870544},{"id":"https://openalex.org/keywords/sentence","display_name":"Sentence","score":0.4592743515968323},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.4358956813812256},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.43534162640571594},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.42462122440338135},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4146692156791687},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.40810465812683105},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3766753077507019},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32689228653907776},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21265071630477905}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7159621119499207},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7099252939224243},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.5719290971755981},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5216158628463745},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.46566203236579895},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.46037015318870544},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.4592743515968323},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4358956813812256},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.43534162640571594},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.42462122440338135},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4146692156791687},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.40810465812683105},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3766753077507019},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32689228653907776},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21265071630477905},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bfb0045101","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0045101","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1524953991","https://openalex.org/W1552564382","https://openalex.org/W1555476679","https://openalex.org/W1561988463","https://openalex.org/W2010076812","https://openalex.org/W2125692076","https://openalex.org/W2174287231","https://openalex.org/W2478248862","https://openalex.org/W6632139115"],"related_works":["https://openalex.org/W2964054883","https://openalex.org/W4255569846","https://openalex.org/W2370797835","https://openalex.org/W2621013612","https://openalex.org/W134932480","https://openalex.org/W2155586249","https://openalex.org/W2810757982","https://openalex.org/W2155430662","https://openalex.org/W3206963418","https://openalex.org/W344099431"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}