{"id":"https://openalex.org/W4379011657","doi":"https://doi.org/10.1093/logcom/exad024","title":"Permissive and regulative norms in deontic logic","display_name":"Permissive and regulative norms in deontic logic","publication_year":2023,"publication_date":"2023-05-31","ids":{"openalex":"https://openalex.org/W4379011657","doi":"https://doi.org/10.1093/logcom/exad024"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exad024","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exad024","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","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/A5086111991","display_name":"Maya Olszewski","orcid":"https://orcid.org/0000-0001-9926-058X"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Maya Olszewski","raw_affiliation_strings":["Technological University of Vienna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technological University of Vienna","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018144910","display_name":"Xavier Parent","orcid":"https://orcid.org/0000-0002-6623-9853"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Xavier Parent","raw_affiliation_strings":["Technological University of Vienna"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technological University of Vienna","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015670661","display_name":"Leendert van der Torre","orcid":"https://orcid.org/0000-0003-4330-3717"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Leendert Van der Torre","raw_affiliation_strings":["University of Luxembourg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.8158,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77538439,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"34","issue":"4","first_page":"728","last_page":"763"},"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.9909999966621399,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9872000217437744,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.8707777857780457},{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.7968956232070923},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6030253767967224},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5876219272613525},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5770419836044312},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.506365180015564},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.45559194684028625},{"id":"https://openalex.org/keywords/normative","display_name":"Normative","score":0.44709107279777527},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.4430115818977356},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.42607390880584717},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.4250539541244507},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4023914337158203},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39723193645477295},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.36888203024864197},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28635668754577637},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.25866377353668213},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.12280082702636719}],"concepts":[{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.8707777857780457},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.7968956232070923},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6030253767967224},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5876219272613525},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5770419836044312},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.506365180015564},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.45559194684028625},{"id":"https://openalex.org/C44725695","wikidata":"https://www.wikidata.org/wiki/Q288156","display_name":"Normative","level":2,"score":0.44709107279777527},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.4430115818977356},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.42607390880584717},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.4250539541244507},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4023914337158203},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39723193645477295},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.36888203024864197},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28635668754577637},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.25866377353668213},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12280082702636719},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exad024","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exad024","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W59942807","https://openalex.org/W76565479","https://openalex.org/W123828164","https://openalex.org/W151458410","https://openalex.org/W191511039","https://openalex.org/W193929025","https://openalex.org/W250494237","https://openalex.org/W594814077","https://openalex.org/W1489876573","https://openalex.org/W1491747574","https://openalex.org/W1965324703","https://openalex.org/W1981352203","https://openalex.org/W2004298296","https://openalex.org/W2006112194","https://openalex.org/W2008443647","https://openalex.org/W2134349791","https://openalex.org/W2155322595","https://openalex.org/W2217107280","https://openalex.org/W2259185435","https://openalex.org/W2396516964","https://openalex.org/W2513327814","https://openalex.org/W2780413716","https://openalex.org/W2965970765","https://openalex.org/W2974063080","https://openalex.org/W3106523406","https://openalex.org/W3171791901","https://openalex.org/W3182395394","https://openalex.org/W4231602651","https://openalex.org/W4248447990","https://openalex.org/W6616701824","https://openalex.org/W6622169150","https://openalex.org/W6635872011","https://openalex.org/W6684273896","https://openalex.org/W6746527424","https://openalex.org/W6756036095","https://openalex.org/W6801315965","https://openalex.org/W7036971133"],"related_works":["https://openalex.org/W95169359","https://openalex.org/W4389565698","https://openalex.org/W2136545799","https://openalex.org/W3110297192","https://openalex.org/W186850240","https://openalex.org/W3206124074","https://openalex.org/W2194288774","https://openalex.org/W1893328537","https://openalex.org/W2064795081","https://openalex.org/W4285095284"],"abstract_inverted_index":{"Abstract":[0],"This":[1,114],"article":[2],"provides":[3],"a":[4,52,106,129,150],"systematic":[5],"analysis":[6],"of":[7,11,24,39,54,86,128,137,143,146,149],"the":[8,22,36,44,63,77,98,135,144,147],"well-known":[9],"notions":[10],"weak":[12],"and":[13,31],"strong":[14,58],"permission":[15,25],"in":[16,76,126],"input/output":[17,71],"(I/O)":[18],"logic.":[19,113],"We":[20,67,133],"extend":[21],"account":[23],"initially":[26],"put":[27],"forward":[28],"by":[29,82],"Makinson":[30],"Van":[32],"der":[33],"Torre":[34],"to":[35],"whole":[37],"family":[38],"I/O":[40],"systems":[41],"developed":[42],"during":[43],"last":[45],"two":[46],"decades.":[47],"The":[48,89,122],"main":[49],"contribution":[50],"is":[51,91,125],"series":[53],"characterization":[55,124],"results":[56],"for":[57,119,140,154],"permission,":[59],"based":[60],"on":[61],"establishing":[62],"so-called":[64],"non-repetition":[65],"property.":[66],"also":[68],"study":[69],"an":[70],"logic":[72],"not":[73,92],"yet":[74],"covered":[75],"literature.":[78],"It":[79],"supports":[80],"reasoning":[81],"cases\u2014a":[83],"natural":[84],"feature":[85],"human":[87],"reasoning.":[88,121],"output":[90,104],"closed":[93],"under":[94],"logical":[95],"entailment.":[96],"At":[97],"same":[99],"time,":[100],"it":[101,116],"avoids":[102],"excess":[103],"using":[105],"consistency":[107],"check\u2014a":[108],"technique":[109],"familiar":[110],"from":[111],"non-monotonic":[112],"makes":[115],"well":[117],"suited":[118],"contrary-to-duty":[120],"axiomatic":[123],"terms":[127],"generalized":[130],"OR":[131],"rule.":[132],"discuss":[134],"implications":[136],"all":[138],"this":[139],"our":[141],"understanding":[142],"notion":[145],"coherence":[148],"normative":[151],"system.":[152],"Topics":[153],"future":[155],"research":[156],"are":[157],"identified.1":[158]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}