{"id":"https://openalex.org/W4285095284","doi":"https://doi.org/10.1093/logcom/exac045","title":"Consistency and permission in deontic justification logic","display_name":"Consistency and permission in deontic justification logic","publication_year":2022,"publication_date":"2022-07-11","ids":{"openalex":"https://openalex.org/W4285095284","doi":"https://doi.org/10.1093/logcom/exac045"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exac045","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac045","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":true,"oa_status":"green","oa_url":"https://philpapers.org/archive/FARCAP-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022623595","display_name":"Federico L. G. Faroldi","orcid":"https://orcid.org/0000-0002-0069-2022"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]},{"id":"https://openalex.org/I2802067006","display_name":"Research Foundation - Flanders","ror":"https://ror.org/03qtxy027","country_code":"BE","type":"government","lineage":["https://openalex.org/I2802067006"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE","CH"],"is_corresponding":true,"raw_author_name":"Federico L G Faroldi","raw_affiliation_strings":["Institute of Computer Science, University of Bern, Bern, Switzerland, and Research Foundation , Flanders (FWO)/Ghent University, Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bern, Bern, Switzerland, and Research Foundation , Flanders (FWO)/Ghent University, Ghent, Belgium","institution_ids":["https://openalex.org/I2802067006","https://openalex.org/I118564535","https://openalex.org/I32597200"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082895925","display_name":"Meghdad Ghari","orcid":"https://orcid.org/0000-0003-1306-9843"},"institutions":[{"id":"https://openalex.org/I39268498","display_name":"University of Isfahan","ror":"https://ror.org/05h9t7759","country_code":"IR","type":"education","lineage":["https://openalex.org/I39268498"]},{"id":"https://openalex.org/I4210146419","display_name":"Institute for Research in Fundamental Sciences","ror":"https://ror.org/04xreqs31","country_code":"IR","type":"facility","lineage":["https://openalex.org/I4210146419"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Meghdad Ghari","raw_affiliation_strings":["Department of Philosophy, Faculty of Literature and Humanities, University of Isfahan , PO Box 8174673441, Isfahan, Iran, and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), PO Box 19395-5746, Tehran, Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Faculty of Literature and Humanities, University of Isfahan , PO Box 8174673441, Isfahan, Iran, and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), PO Box 19395-5746, Tehran, Iran","institution_ids":["https://openalex.org/I39268498","https://openalex.org/I4210146419"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062396833","display_name":"Eveline Lehmann","orcid":"https://orcid.org/0000-0003-1003-7838"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Eveline Lehmann","raw_affiliation_strings":["Institute of Computer Science, University of Bern , Bern, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bern , Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086903137","display_name":"Thomas Studer","orcid":"https://orcid.org/0000-0002-0949-3302"},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Thomas Studer","raw_affiliation_strings":["Institute of Computer Science, University of Bern , Bern, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Bern , Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5022623595"],"corresponding_institution_ids":["https://openalex.org/I118564535","https://openalex.org/I2802067006","https://openalex.org/I32597200"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.5549,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.71734338,"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":"640","last_page":"664"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9649999737739563,"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.9591000080108643,"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.9617322683334351},{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.9385007619857788},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7566918134689331},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.68683260679245},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5275891423225403},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5160483717918396},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.4938669800758362},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.45440927147865295},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.44672688841819763},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4326880872249603},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.36972635984420776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32342708110809326},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3157494068145752},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.25130337476730347},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.18717938661575317},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18292376399040222},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.15475574135780334},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.14157578349113464}],"concepts":[{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.9617322683334351},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.9385007619857788},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7566918134689331},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.68683260679245},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5275891423225403},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5160483717918396},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.4938669800758362},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.45440927147865295},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.44672688841819763},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4326880872249603},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.36972635984420776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32342708110809326},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3157494068145752},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.25130337476730347},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.18717938661575317},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18292376399040222},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.15475574135780334},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.14157578349113464},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1093/logcom/exac045","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac045","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"},{"id":"pmh:oai:philarchive.org/rec/FARCAP-4","is_oa":true,"landing_page_url":"https://philarchive.org/rec/FARCAP-4","pdf_url":"https://philpapers.org/archive/FARCAP-4.pdf","source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:boris.unibe.ch:177372","is_oa":false,"landing_page_url":"https://boris.unibe.ch/177372/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401086","display_name":"Bern Open Repository and Information System (University of Bern)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118564535","host_organization_name":"University of Bern","host_organization_lineage":["https://openalex.org/I118564535"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Faroldi, Federico L G; Ghari, Meghdad; Lehmann, Eveline; Studer, Thomas (2022). Consistency and permission in deontic justification logic. Journal of logic and computation, 34(4), pp. 640-664. Oxford University Press 10.1093/logcom/exac045 <http://dx.doi.org/10.1093/logcom/exac045>","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:philpapers.org/rec/FARCAP-4","is_oa":false,"landing_page_url":"https://philpapers.org/rec/FARCAP-4","pdf_url":null,"source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:philarchive.org/rec/FARCAP-4","is_oa":true,"landing_page_url":"https://philarchive.org/rec/FARCAP-4","pdf_url":"https://philpapers.org/archive/FARCAP-4.pdf","source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.7599999904632568,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285095284.pdf","grobid_xml":"https://content.openalex.org/works/W4285095284.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W20793108","https://openalex.org/W594814077","https://openalex.org/W2015165073","https://openalex.org/W2043468053","https://openalex.org/W2045237008","https://openalex.org/W2093817708","https://openalex.org/W2142596250","https://openalex.org/W2157503655","https://openalex.org/W2222573932","https://openalex.org/W2233848311","https://openalex.org/W2315012277","https://openalex.org/W2481226177","https://openalex.org/W2529466265","https://openalex.org/W2549644848","https://openalex.org/W2758985668","https://openalex.org/W2929420281","https://openalex.org/W2946543709","https://openalex.org/W2948281012","https://openalex.org/W2954672644","https://openalex.org/W2963033713","https://openalex.org/W2996392580","https://openalex.org/W3195612192","https://openalex.org/W3201350524","https://openalex.org/W4211092209","https://openalex.org/W4232614493","https://openalex.org/W4241671189","https://openalex.org/W4242309855","https://openalex.org/W4248881854","https://openalex.org/W6680084680","https://openalex.org/W6680507816","https://openalex.org/W6712670798","https://openalex.org/W6735992727","https://openalex.org/W6749564998","https://openalex.org/W6761768715","https://openalex.org/W6762777889","https://openalex.org/W6801911235","https://openalex.org/W6808125645","https://openalex.org/W6928783551"],"related_works":["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/W1605133021","https://openalex.org/W4285095284"],"abstract_inverted_index":{"Abstract":[0],"Different":[1],"notions":[2],"of":[3,6,38,70,87,96,102],"the":[4,22,35,67,94,106,112],"consistency":[5,47],"obligations":[7],"collapse":[8],"in":[9,49,85,93],"standard":[10],"deontic":[11,119],"logic.":[12],"In":[13],"justification":[14,50,64,97],"logics,":[15],"which":[16,63],"feature":[17],"explicit":[18,68],"reasons":[19],"for":[20,40,62,77,105],"obligations,":[21],"situation":[23],"is":[24,82],"different.":[25],"Their":[26],"strength":[27],"depends":[28],"on":[29,34],"a":[30,59,100],"constant":[31,79],"specification":[32],"and":[33,52],"available":[36],"set":[37],"operations":[39],"combining":[41],"different":[42,46],"reasons.":[43],"We":[44,57,89,109],"present":[45],"principles":[48],"logic":[51],"compare":[53],"their":[54],"logical":[55],"strength.":[56],"propose":[58],"novel":[60],"semantics":[61],"logics":[65],"with":[66,115],"version":[69],"axiom":[71],"D,":[72],"$\\textbf":[73],"{jd}$,":[74],"are":[75],"complete":[76],"arbitrary":[78],"specifications.":[80],"Consistency":[81],"sometimes":[83],"formulated":[84],"terms":[86],"permission.":[88],"therefore":[90],"study":[91],"permission":[92,104],"context":[95],"logic,":[98],"introducing":[99],"notion":[101],"free-choice":[103],"first":[107],"time.":[108],"then":[110],"discuss":[111],"philosophical":[113],"implications":[114],"regard":[116],"to":[117],"some":[118],"paradoxes.":[120]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}