{"id":"https://openalex.org/W2582209490","doi":"https://doi.org/10.1007/s00500-017-2497-7","title":"Deontic STIT logic, from logical paradox to security policy","display_name":"Deontic STIT logic, from logical paradox to security policy","publication_year":2017,"publication_date":"2017-01-24","ids":{"openalex":"https://openalex.org/W2582209490","doi":"https://doi.org/10.1007/s00500-017-2497-7","mag":"2582209490"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-017-2497-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-017-2497-7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs00500-017-2497-7.pdf","source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs00500-017-2497-7.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024600603","display_name":"Lirong Qiu","orcid":"https://orcid.org/0000-0001-6489-1648"},"institutions":[{"id":"https://openalex.org/I145897649","display_name":"Minzu University of China","ror":"https://ror.org/0044e2g62","country_code":"CN","type":"education","lineage":["https://openalex.org/I145897649"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lirong Qiu","raw_affiliation_strings":["Information Engineering School, Minzu University of China, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering School, Minzu University of China, Beijing, China","institution_ids":["https://openalex.org/I145897649"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076675230","display_name":"Xin Sun","orcid":"https://orcid.org/0000-0001-9320-2522"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]},{"id":"https://openalex.org/I111702420","display_name":"John Paul II Catholic University of Lublin","ror":"https://ror.org/04qyefj88","country_code":"PL","type":"education","lineage":["https://openalex.org/I111702420"]}],"countries":["CN","PL"],"is_corresponding":true,"raw_author_name":"Xin Sun","raw_affiliation_strings":["Department of Foundations of Computer Science, Faculty of Philosophy, The John Paul II Catholic University of Lublin, Lublin, Poland","Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Foundations of Computer Science, Faculty of Philosophy, The John Paul II Catholic University of Lublin, Lublin, Poland","institution_ids":["https://openalex.org/I111702420"]},{"raw_affiliation_string":"Institute of Logic and Cognition, Sun Yat-sen University, Guangzhou, China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5076675230"],"corresponding_institution_ids":["https://openalex.org/I111702420","https://openalex.org/I157773358"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01657941,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"22","issue":"3","first_page":"751","last_page":"757"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"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/T11424","display_name":"Security and Verification in Computing","score":0.9972000122070312,"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/deontic-logic","display_name":"Deontic logic","score":0.9895938634872437},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6528617739677429},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.48926088213920593},{"id":"https://openalex.org/keywords/logical-framework","display_name":"Logical framework","score":0.4465206563472748},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.42913171648979187},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4138889014720917},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35468757152557373},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.23377454280853271},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17230385541915894},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.0781315267086029}],"concepts":[{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.9895938634872437},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6528617739677429},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.48926088213920593},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.4465206563472748},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.42913171648979187},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4138889014720917},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35468757152557373},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.23377454280853271},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17230385541915894},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.0781315267086029},{"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00500-017-2497-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-017-2497-7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs00500-017-2497-7.pdf","source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00500-017-2497-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-017-2497-7","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs00500-017-2497-7.pdf","source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.47999998927116394}],"awards":[{"id":"https://openalex.org/G3910064639","display_name":null,"funder_award_id":"Grants 61672553, 61331013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4918326022","display_name":null,"funder_award_id":"BEETHOVEN, UMO-2014/15/G/HS1/04514","funder_id":"https://openalex.org/F4320322511","funder_display_name":"Narodowe Centrum Nauki"},{"id":"https://openalex.org/G5859881043","display_name":null,"funder_award_id":"61672553","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G617097228","display_name":"\u8de8\u8bed\u8a00\u793e\u4f1a\u8206\u60c5\u5206\u6790\u57fa\u7840\u7406\u8bba\u4e0e\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61331013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322511","display_name":"Narodowe Centrum Nauki","ror":"https://ror.org/03ha2q922"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2582209490.pdf","grobid_xml":"https://content.openalex.org/works/W2582209490.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W37388086","https://openalex.org/W79115767","https://openalex.org/W321238944","https://openalex.org/W616478078","https://openalex.org/W1499965485","https://openalex.org/W1500679563","https://openalex.org/W1525770870","https://openalex.org/W1528726871","https://openalex.org/W1888163539","https://openalex.org/W1933860783","https://openalex.org/W1969827513","https://openalex.org/W1972568059","https://openalex.org/W1982340558","https://openalex.org/W1991305430","https://openalex.org/W2000621424","https://openalex.org/W2021916230","https://openalex.org/W2026155725","https://openalex.org/W2032885078","https://openalex.org/W2040457245","https://openalex.org/W2106901809","https://openalex.org/W2139773059","https://openalex.org/W2144417954","https://openalex.org/W2158593235","https://openalex.org/W2436992756","https://openalex.org/W2521742709","https://openalex.org/W3179081232","https://openalex.org/W4205678468","https://openalex.org/W4248447990","https://openalex.org/W4388218763"],"related_works":["https://openalex.org/W1494021742","https://openalex.org/W604736836","https://openalex.org/W1641375177","https://openalex.org/W2337516172","https://openalex.org/W1983579248","https://openalex.org/W1557930983","https://openalex.org/W2729633844","https://openalex.org/W33971705","https://openalex.org/W3208875450","https://openalex.org/W4286694953"],"abstract_inverted_index":{"A":[0,61],"deontic":[1,29],"STIT":[2,30],"logic":[3,36,68],"is":[4,37,40,69],"studied":[5],"in":[6,20],"this":[7],"paper":[8],"with":[9],"the":[10,21,27,44],"possible":[11],"application":[12],"of":[13,34,42,54,66],"specifying":[14],"security":[15],"policies":[16],"for":[17],"intrude":[18],"detection":[19],"pervasive":[22],"computing":[23],"environment.":[24],"Compared":[25],"to":[26],"existing":[28],"logics,":[31],"an":[32],"advantage":[33],"our":[35,67],"that":[38],"it":[39],"capable":[41],"solving":[43],"miners":[45],"paradox,":[46],"a":[47],"logical":[48],"paradox":[49],"which":[50],"recently":[51],"grabs":[52],"attentions":[53],"logicians,":[55],"philosophers,":[56],"linguistists":[57],"and":[58,63],"computer":[59],"scientists.":[60],"complete":[62],"sound":[64],"axiomatization":[65],"developed.":[70]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}