{"id":"https://openalex.org/W4395671600","doi":"https://doi.org/10.1007/s10992-024-09748-5","title":"On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation","display_name":"On Some Weakened Forms of Transitivity in the Logic of Conditional Obligation","publication_year":2024,"publication_date":"2024-04-26","ids":{"openalex":"https://openalex.org/W4395671600","doi":"https://doi.org/10.1007/s10992-024-09748-5"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-024-09748-5","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s10992-024-09748-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-024-09748-5.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"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":"Journal of Philosophical Logic","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/s10992-024-09748-5.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Xavier Parent","raw_affiliation_strings":["Institute of Logic and Computation, Technological University of Vienna, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, Technological University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5018144910"],"corresponding_institution_ids":["https://openalex.org/I129774422"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2780},"fwci":0.7144,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.73712099,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"53","issue":"3","first_page":"721","last_page":"760"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9939000010490417,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.991599977016449,"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/axiom","display_name":"Axiom","score":0.7763122320175171},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.7596863508224487},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.7551581859588623},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5495209097862244},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.5074216723442078},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46357208490371704},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.46086204051971436},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4351932406425476},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4349724054336548},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4278255105018616},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.42744526267051697},{"id":"https://openalex.org/keywords/obligation","display_name":"Obligation","score":0.4264237582683563},{"id":"https://openalex.org/keywords/rationality","display_name":"Rationality","score":0.4209536015987396},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.41887426376342773},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3646160364151001},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34458988904953003},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.17524278163909912},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.12786930799484253},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.10924187302589417},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.07506102323532104}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7763122320175171},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7596863508224487},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.7551581859588623},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5495209097862244},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5074216723442078},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46357208490371704},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.46086204051971436},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4351932406425476},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4349724054336548},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4278255105018616},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.42744526267051697},{"id":"https://openalex.org/C2778447849","wikidata":"https://www.wikidata.org/wiki/Q2648051","display_name":"Obligation","level":2,"score":0.4264237582683563},{"id":"https://openalex.org/C201717286","wikidata":"https://www.wikidata.org/wiki/Q938185","display_name":"Rationality","level":2,"score":0.4209536015987396},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.41887426376342773},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3646160364151001},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34458988904953003},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.17524278163909912},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.12786930799484253},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.10924187302589417},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.07506102323532104},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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":2,"locations":[{"id":"doi:10.1007/s10992-024-09748-5","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s10992-024-09748-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-024-09748-5.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"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":"Journal of Philosophical Logic","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04704850v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04704850","pdf_url":"https://hal.science/hal-04704850v1/document","source":{"id":"https://openalex.org/S4406922466","display_name":"SPIRE - Sciences Po Institutional REpository","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://link.springer.com/article/10.1007/s10992-024-09748-5","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1007/s10992-024-09748-5","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s10992-024-09748-5","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-024-09748-5.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"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":"Journal of Philosophical Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6399999856948853}],"awards":[{"id":"https://openalex.org/G224699702","display_name":null,"funder_award_id":"M-3240","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G2447788411","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320322839","display_name":"Technische Universit\u00e4t Wien","ror":"https://ror.org/04d836q62"},{"id":"https://openalex.org/F4320335937","display_name":"Technische Universit\u00e4t Wien Bibliothek","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4395671600.pdf"},"referenced_works_count":70,"referenced_works":["https://openalex.org/W51134679","https://openalex.org/W118455047","https://openalex.org/W336115920","https://openalex.org/W643300919","https://openalex.org/W1149585081","https://openalex.org/W1481955269","https://openalex.org/W1491747574","https://openalex.org/W1574675058","https://openalex.org/W1578502882","https://openalex.org/W1590926952","https://openalex.org/W1605124786","https://openalex.org/W1967576310","https://openalex.org/W1972568059","https://openalex.org/W1978629563","https://openalex.org/W1980098164","https://openalex.org/W1981874543","https://openalex.org/W1986023375","https://openalex.org/W1994367393","https://openalex.org/W2016120321","https://openalex.org/W2020085536","https://openalex.org/W2021339822","https://openalex.org/W2021847377","https://openalex.org/W2025737269","https://openalex.org/W2034637506","https://openalex.org/W2043278166","https://openalex.org/W2043614424","https://openalex.org/W2044964721","https://openalex.org/W2046608835","https://openalex.org/W2046753842","https://openalex.org/W2046852913","https://openalex.org/W2054617207","https://openalex.org/W2065741799","https://openalex.org/W2073937160","https://openalex.org/W2074436643","https://openalex.org/W2080142817","https://openalex.org/W2085195137","https://openalex.org/W2093050874","https://openalex.org/W2106901809","https://openalex.org/W2135106702","https://openalex.org/W2150191218","https://openalex.org/W2156405942","https://openalex.org/W2159304001","https://openalex.org/W2167907160","https://openalex.org/W2169671182","https://openalex.org/W2235788033","https://openalex.org/W2335705189","https://openalex.org/W2799037929","https://openalex.org/W2895261010","https://openalex.org/W2910389356","https://openalex.org/W2942012185","https://openalex.org/W3125785758","https://openalex.org/W3162938554","https://openalex.org/W4205678468","https://openalex.org/W4211244430","https://openalex.org/W4225697762","https://openalex.org/W4235997983","https://openalex.org/W4242309855","https://openalex.org/W4245843695","https://openalex.org/W4249319332","https://openalex.org/W4250186078","https://openalex.org/W4250991576","https://openalex.org/W4255565020","https://openalex.org/W4298008721","https://openalex.org/W4308801432","https://openalex.org/W6634071932","https://openalex.org/W6635305494","https://openalex.org/W6643797788","https://openalex.org/W6763789284","https://openalex.org/W6790811942","https://openalex.org/W7027661824"],"related_works":["https://openalex.org/W4312527695","https://openalex.org/W2361167282","https://openalex.org/W1528932152","https://openalex.org/W2091342995","https://openalex.org/W1971653407","https://openalex.org/W2010405422","https://openalex.org/W4232120730","https://openalex.org/W2088884970","https://openalex.org/W2000079419","https://openalex.org/W4252559877"],"abstract_inverted_index":{"Abstract":[0],"This":[1,61],"paper":[2],"examines":[3],"the":[4,12,25,37,47,53,88,96,102,109,116,122,143,150],"logic":[5],"of":[6,14,22,24,67,71,90,98,111,124,149],"conditional":[7],"obligation,":[8],"which":[9],"originates":[10],"from":[11],"works":[13],"Hansson,":[15],"Lewis,":[16],"and":[17,36,73,147],"others.":[18],"Some":[19],"weakened":[20],"forms":[21],"transitivity":[23],"betterness":[26],"relation":[27],"are":[28,31,59],"studied.":[29],"These":[30],"quasi-transitivity,":[32],"Suzumura":[33],"consistency,":[34],"acyclicity":[35],"interval":[38,77,139],"order":[39,78],"condition.":[40],"The":[41,49,76],"first":[42],"three":[43],"do":[44],"not":[45,57],"change":[46],"logic.":[48],"axiomatic":[50],"system":[51],"is":[52],"same":[54],"whether":[55],"or":[56,127],"they":[58],"introduced.":[60],"holds":[62],"true":[63],"under":[64],"a":[65,83],"rule":[66,89,97,110],"interpretation":[68],"in":[69],"terms":[70],"maximality":[72],"strong":[74,112],"maximality.":[75],"condition":[79],"gives":[80],"rise":[81],"to":[82],"new":[84],"axiom.":[85],"Depending":[86],"on":[87],"interpretation,":[91],"this":[92,141],"one":[93,100,114],"changes.":[94],"With":[95,108],"maximality,":[99,113],"obtains":[101,115],"principle":[103,123],"known":[104,120],"as":[105,121],"disjunctive":[106],"rationality.":[107],"Spohn":[117],"axiom":[118,129],"(also":[119],"rational":[125],"monotony,":[126],"Lewis\u2019":[128],"CV).":[130],"A":[131],"completeness":[132],"theorem":[133],"further":[134],"substantiates":[135],"these":[136],"observations.":[137],"For":[138],"order,":[140],"yields":[142],"finite":[144],"model":[145],"property":[146],"decidability":[148],"calculus.":[151]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}