{"id":"https://openalex.org/W2159730731","doi":"https://doi.org/10.1093/jigpal/jzq059","title":"A modal framework for modelling abductive reasoning","display_name":"A modal framework for modelling abductive reasoning","publication_year":2010,"publication_date":"2010-12-14","ids":{"openalex":"https://openalex.org/W2159730731","doi":"https://doi.org/10.1093/jigpal/jzq059","mag":"2159730731"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzq059","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzq059","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/A5054933694","display_name":"Fernando Soler Toscano","orcid":"https://orcid.org/0000-0003-1953-4136"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]},{"id":"https://openalex.org/I4210126640","display_name":"Instituto de Filosof\u00eda","ror":"https://ror.org/031y0e568","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210126640"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"F. Soler-Toscano","raw_affiliation_strings":["Departamento de Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Sevilla, Spaine-mail: fsoler@us.es; dfduque@us.es; nepomuce@us.es"],"affiliations":[{"raw_affiliation_string":"Departamento de Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Sevilla, Spaine-mail: fsoler@us.es; dfduque@us.es; nepomuce@us.es","institution_ids":["https://openalex.org/I4210126640","https://openalex.org/I79238269"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080309379","display_name":"David Fern\u00e1ndez\u2013Duque","orcid":"https://orcid.org/0000-0001-8604-4183"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]},{"id":"https://openalex.org/I4210126640","display_name":"Instituto de Filosof\u00eda","ror":"https://ror.org/031y0e568","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210126640"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"D. Fernandez-Duque","raw_affiliation_strings":["Departamento de Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Sevilla, Spaine-mail: fsoler@us.es; dfduque@us.es; nepomuce@us.es"],"affiliations":[{"raw_affiliation_string":"Departamento de Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Sevilla, Spaine-mail: fsoler@us.es; dfduque@us.es; nepomuce@us.es","institution_ids":["https://openalex.org/I4210126640","https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067993288","display_name":"\u00c1ngel Nepomuceno\u2013Fern\u00e1ndez","orcid":null},"institutions":[{"id":"https://openalex.org/I4210126640","display_name":"Instituto de Filosof\u00eda","ror":"https://ror.org/031y0e568","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210126640"]},{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"A. Nepomuceno-Fernandez","raw_affiliation_strings":["Departamento de Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Sevilla, Spaine-mail: fsoler@us.es; dfduque@us.es; nepomuce@us.es"],"affiliations":[{"raw_affiliation_string":"Departamento de Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Sevilla, Spaine-mail: fsoler@us.es; dfduque@us.es; nepomuce@us.es","institution_ids":["https://openalex.org/I4210126640","https://openalex.org/I79238269"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5054933694"],"corresponding_institution_ids":["https://openalex.org/I4210126640","https://openalex.org/I79238269"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.9021,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.81570305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"20","issue":"2","first_page":"438","last_page":"444"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9980999827384949,"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.9919999837875366,"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/modal-logic","display_name":"Modal logic","score":0.7009299993515015},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.7002151608467102},{"id":"https://openalex.org/keywords/possible-world","display_name":"Possible world","score":0.6943814158439636},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.6734815835952759},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.6312340497970581},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6202602386474609},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5856064558029175},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.5714130401611328},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.46467477083206177},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.45797181129455566},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.45739540457725525},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4344406723976135},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.33002251386642456},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2523307800292969},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21525248885154724},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.13862329721450806},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.1168573796749115},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1106674075126648}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7009299993515015},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7002151608467102},{"id":"https://openalex.org/C136172866","wikidata":"https://www.wikidata.org/wiki/Q1088088","display_name":"Possible world","level":2,"score":0.6943814158439636},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.6734815835952759},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.6312340497970581},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6202602386474609},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5856064558029175},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.5714130401611328},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.46467477083206177},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.45797181129455566},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.45739540457725525},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4344406723976135},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.33002251386642456},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2523307800292969},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21525248885154724},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.13862329721450806},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.1168573796749115},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1106674075126648},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzq059","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzq059","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":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W2103809193","https://openalex.org/W2114254673","https://openalex.org/W2133004198","https://openalex.org/W2149420462"],"related_works":["https://openalex.org/W3111905456","https://openalex.org/W2974949998","https://openalex.org/W2910112965","https://openalex.org/W1599533611","https://openalex.org/W2144619006","https://openalex.org/W2299748756","https://openalex.org/W2074789570","https://openalex.org/W1546619300","https://openalex.org/W111991431","https://openalex.org/W2101793126"],"abstract_inverted_index":{"We":[0],"present":[1,61],"a":[2,15,23,31],"framework":[3,102],"for":[4],"understanding":[5],"abduction":[6],"within":[7,99],"modal":[8,104],"logic":[9],"and":[10,22],"Kripke":[11,16],"semantics;":[12],"worlds":[13],"of":[14,81,97,103],"frame":[17],"will":[18,27],"represent":[19],"possible":[20,39],"theories,":[21],"change":[24],"in":[25],"theory":[26],"be":[28,66],"understood":[29],"as":[30,54,83,85],"passage":[32],"from":[33,95],"one":[34],"world":[35],"to":[36,68,75,91],"an":[37],"adjacent":[38],"world.":[40],"Further,":[41],"these":[42],"steps":[43],"may":[44,51],"agree":[45],"with":[46],"the":[47,78,100],"accessibility":[48],"relation":[49],"or":[50,58],"\u2018backtrack\u2019,":[52],"accordingly":[53],"new":[55],"information":[56],"refutes":[57],"reinforces":[59],"our":[60],"theory.":[62],"Our":[63],"formalism":[64],"can":[65],"used":[67],"model":[69],"not":[70],"only":[71],"abduction,":[72],"but":[73],"also":[74],"talk":[76],"about":[77],"inner":[79],"structure":[80],"theories":[82],"well":[84],"relations":[86],"between":[87],"them,":[88],"allowing":[89],"us":[90],"interpret":[92],"many":[93],"ideas":[94],"philosophy":[96],"science":[98],"well-understood":[101],"logic.":[105]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}