{"id":"https://openalex.org/W2157644473","doi":"https://doi.org/10.1093/jigpal/jzt037","title":"On the interrelation between systems of spheres and epistemic entrenchment relations","display_name":"On the interrelation between systems of spheres and epistemic entrenchment relations","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W2157644473","doi":"https://doi.org/10.1093/jigpal/jzt037","mag":"2157644473"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzt037","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzt037","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"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":"Logic Journal of IGPL","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/A5026915937","display_name":"Maur\u00edcio D. L. Reis","orcid":"https://orcid.org/0000-0001-7437-8354"},"institutions":[{"id":"https://openalex.org/I58028834","display_name":"Universidade da Madeira","ror":"https://ror.org/0442zbe52","country_code":"PT","type":"education","lineage":["https://openalex.org/I58028834"]},{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"M. D. L. Reis","raw_affiliation_strings":["Centro de Ci\u00eancias Matem\u00e1ticas and Madeira-ITI, Universidade da Madeira, Campus Universit\u00e1rio da Penteada, 9020-105 Funchal, Portugal and Centre for Artificial Intelligence (CENTRIA), Universidade Nova de Lisboa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Ci\u00eancias Matem\u00e1ticas and Madeira-ITI, Universidade da Madeira, Campus Universit\u00e1rio da Penteada, 9020-105 Funchal, Portugal and Centre for Artificial Intelligence (CENTRIA), Universidade Nova de Lisboa","institution_ids":["https://openalex.org/I58028834","https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026915937"],"corresponding_institution_ids":["https://openalex.org/I58028834","https://openalex.org/I83558840"],"apc_list":{"value":4533,"currency":"USD","value_usd":4533},"apc_paid":null,"fwci":0.5492,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80447356,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"22","issue":"1","first_page":"126","last_page":"146"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.996399998664856,"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.9962000250816345,"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/relation","display_name":"Relation (database)","score":0.4143602252006531},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.4141292870044708},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3579174876213074},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34582144021987915},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2651098370552063},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.10935017466545105}],"concepts":[{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4143602252006531},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.4141292870044708},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3579174876213074},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34582144021987915},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2651098370552063},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.10935017466545105}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzt037","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzt037","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"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":"Logic Journal of IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1481348708","https://openalex.org/W1988247961","https://openalex.org/W2003192160","https://openalex.org/W2049449787","https://openalex.org/W2076060941","https://openalex.org/W2149420462","https://openalex.org/W2912435539","https://openalex.org/W4249478740"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4234874385","https://openalex.org/W2390279801","https://openalex.org/W2323648130","https://openalex.org/W2358668433","https://openalex.org/W2157140558","https://openalex.org/W2376932109","https://openalex.org/W2378782423","https://openalex.org/W2001405890","https://openalex.org/W93312527"],"abstract_inverted_index":{"In":[0],"this":[1,28,61],"article,":[2],"we":[3,67,108,158,194],"present":[4],"several":[5],"results":[6],"concerning":[7],"the":[8,25,64,70,103,120,153,180,202,206,215,225,232],"deep":[9],"interconnection":[10],"between":[11],"systems":[12],"of":[13,60,84,87,149,162,176,191,208,210,217],"spheres":[14,88,150,177],"and":[15,36,49,92,125,138,146,198],"epistemic":[16,79,143,169,218],"entrenchment":[17,80,144,170],"relations,":[18],"which,":[19],"in":[20,34,73,110,123,231],"a":[21,85,90,111,136,147,163,174,196],"certain":[22],"sense,":[23],"complete":[24],"studies":[26],"on":[27],"subject":[29],"that":[30,69,114,166,179,205,235],"have":[31],"been":[32],"presented":[33,122],"[Peppas":[35],"Williams":[37,126],"(1995,":[38,127],"Notre":[39,128],"Dame":[40,129],"J.":[41,52,130],"Formal":[42,131],"Logic,":[43,54,132],"36,":[44,133],"120\u2013133);":[45],"Hansson":[46,74],"(1999);":[47],"Rott":[48],"Pagnucco":[50],"(1999,":[51],"Philosophical":[53],"28,":[55],"501\u2013547)].":[56],"The":[57],"main":[58],"contributions":[59],"work":[62],"are":[63],"following:":[65],"First":[66],"prove":[68],"condition":[71,94,116,140,182],"used":[72],"(1999)":[75],"to":[76,99,102,119,151],"define":[77],"an":[78,142],"relation":[81,145,171],"by":[82,160,188],"means":[83,161],"system":[86,148,175,209],"is":[89,117,173],"necessary":[91,137],"sufficient":[93,139],"for":[95,141,167,201,234],"two":[96],"such":[97,115,178],"structures":[98],"give":[100],"rise":[101],"same":[104,154],"contraction":[105],"function.":[106,156],"Afterwards,":[107],"show":[109],"direct":[112,197],"way":[113],"equivalent":[118],"one":[121],"Peppas":[124],"120\u2013133)":[134],"as":[135],"yield":[152],"revision":[155],"Moreover,":[157],"show,":[159],"constructive":[164,199],"proof,":[165],"any":[168],"there":[172],"mentioned":[181],"holds.":[183],"We":[184],"notice":[185],"yet":[186],"that,":[187],"combining":[189],"some":[190],"those":[192],"results,":[193],"obtain":[195],"proof":[200],"well-known":[203],"fact":[204],"class":[207,216],"spheres-based":[211],"contractions":[212],"coincides":[213],"with":[214],"entrenchment-based":[219],"contractions,":[220],"which":[221],"differs":[222],"from":[223],"all":[224],"other":[226],"proofs":[227],"so":[228],"far":[229],"provided":[230],"literature":[233],"fact.":[236]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}