{"id":"https://openalex.org/W4200017889","doi":"https://doi.org/10.1017/s1755020321000514","title":"<scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT","display_name":"<scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT","publication_year":2021,"publication_date":"2021-12-06","ids":{"openalex":"https://openalex.org/W4200017889","doi":"https://doi.org/10.1017/s1755020321000514"},"language":"en","primary_location":{"id":"doi:10.1017/s1755020321000514","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020321000514","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/32C51CD6F9718A887DDD0FBAB0010AC2/S1755020321000514a.pdf/div-class-title-span-class-sc-stit-span-logic-for-imagination-episodes-with-voluntary-input-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/32C51CD6F9718A887DDD0FBAB0010AC2/S1755020321000514a.pdf/div-class-title-span-class-sc-stit-span-logic-for-imagination-episodes-with-voluntary-input-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026868451","display_name":"Christopher Badura","orcid":"https://orcid.org/0000-0003-2481-8192"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"CHRISTOPHER BADURA","raw_affiliation_strings":["DEPARTMENT OF PHILOSOPHY I RUHR UNIVERSITY BOCHUMBOCHUM, GERMANYE-mail:"],"raw_orcid":"https://orcid.org/0000-0003-2481-8192","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY I RUHR UNIVERSITY BOCHUMBOCHUM, GERMANYE-mail:","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034896431","display_name":"Heinrich Wansing","orcid":"https://orcid.org/0000-0002-0749-8847"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"HEINRICH WANSING","raw_affiliation_strings":["DEPARTMENT OF PHILOSOPHY I RUHR UNIVERSITY BOCHUMBOCHUM, GERMANYE-mail:"],"raw_orcid":"https://orcid.org/0000-0002-0749-8847","affiliations":[{"raw_affiliation_string":"DEPARTMENT OF PHILOSOPHY I RUHR UNIVERSITY BOCHUMBOCHUM, GERMANYE-mail:","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026868451"],"corresponding_institution_ids":["https://openalex.org/I904495901"],"apc_list":null,"apc_paid":null,"fwci":0.42,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70826079,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"16","issue":"3","first_page":"813","last_page":"861"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988999962806702,"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.9988999962806702,"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.9962000250816345,"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.9908999800682068,"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.7845428586006165},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6176108121871948},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5223894715309143},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.4780590832233429},{"id":"https://openalex.org/keywords/term-logic","display_name":"Term logic","score":0.4307456612586975},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4071193337440491},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.38089320063591003},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3690430223941803},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.34597766399383545},{"id":"https://openalex.org/keywords/cognitive-psychology","display_name":"Cognitive psychology","score":0.34377920627593994},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2649955749511719},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22716599702835083},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.19958025217056274},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08621621131896973},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.06951254606246948}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7845428586006165},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6176108121871948},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5223894715309143},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.4780590832233429},{"id":"https://openalex.org/C7280424","wikidata":"https://www.wikidata.org/wiki/Q237125","display_name":"Term logic","level":4,"score":0.4307456612586975},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4071193337440491},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.38089320063591003},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3690430223941803},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.34597766399383545},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.34377920627593994},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2649955749511719},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22716599702835083},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.19958025217056274},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08621621131896973},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.06951254606246948},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1755020321000514","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020321000514","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/32C51CD6F9718A887DDD0FBAB0010AC2/S1755020321000514a.pdf/div-class-title-span-class-sc-stit-span-logic-for-imagination-episodes-with-voluntary-input-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1755020321000514","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1755020321000514","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/32C51CD6F9718A887DDD0FBAB0010AC2/S1755020321000514a.pdf/div-class-title-span-class-sc-stit-span-logic-for-imagination-episodes-with-voluntary-input-div.pdf","source":{"id":"https://openalex.org/S24077076","display_name":"The Review of Symbolic Logic","issn_l":"1755-0203","issn":["1755-0203","1755-0211"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Review of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6100000143051147,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4200017889.pdf","grobid_xml":"https://content.openalex.org/works/W4200017889.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W12226898","https://openalex.org/W120324489","https://openalex.org/W580060294","https://openalex.org/W602493167","https://openalex.org/W1551030425","https://openalex.org/W1965483173","https://openalex.org/W1966081094","https://openalex.org/W1978629563","https://openalex.org/W1989330969","https://openalex.org/W1990063075","https://openalex.org/W1994227541","https://openalex.org/W2019821091","https://openalex.org/W2022908764","https://openalex.org/W2079424001","https://openalex.org/W2134684723","https://openalex.org/W2157187398","https://openalex.org/W2170762761","https://openalex.org/W2192853309","https://openalex.org/W2312308496","https://openalex.org/W2338055508","https://openalex.org/W2476860201","https://openalex.org/W2478349315","https://openalex.org/W2486600110","https://openalex.org/W2498236559","https://openalex.org/W2505535277","https://openalex.org/W2529466265","https://openalex.org/W2558243911","https://openalex.org/W2580804121","https://openalex.org/W2582193372","https://openalex.org/W2591437518","https://openalex.org/W2599579169","https://openalex.org/W2624138129","https://openalex.org/W2768154882","https://openalex.org/W2791395226","https://openalex.org/W2792016145","https://openalex.org/W2808379156","https://openalex.org/W2810497759","https://openalex.org/W2907992418","https://openalex.org/W2914269159","https://openalex.org/W2951168322","https://openalex.org/W2980545800","https://openalex.org/W3031086101","https://openalex.org/W3040508074","https://openalex.org/W3043744705","https://openalex.org/W3107945820","https://openalex.org/W3127507699","https://openalex.org/W3130312543","https://openalex.org/W3156742268","https://openalex.org/W3203219657","https://openalex.org/W4233653495","https://openalex.org/W4234847041","https://openalex.org/W4235044173","https://openalex.org/W4242309855","https://openalex.org/W4242360617","https://openalex.org/W4243375681","https://openalex.org/W4249161799","https://openalex.org/W4249897019","https://openalex.org/W4252641057","https://openalex.org/W4254349805","https://openalex.org/W4298207316","https://openalex.org/W4388218763","https://openalex.org/W6721277330","https://openalex.org/W6757668553","https://openalex.org/W6793833155"],"related_works":["https://openalex.org/W178365807","https://openalex.org/W4240676090","https://openalex.org/W2081441417","https://openalex.org/W1970375080","https://openalex.org/W4386544785","https://openalex.org/W16157476","https://openalex.org/W1555836633","https://openalex.org/W1522717445","https://openalex.org/W2116374711","https://openalex.org/W1822066647"],"abstract_inverted_index":{"Abstract":[0],"Francesco":[1],"Berto":[2],"proposed":[3,112],"a":[4,89,96,108,133,170],"logic":[5,10,29,47,62,94],"for":[6,104,141,182],"imaginative":[7,40,80,130,164],"episodes.":[8,165],"The":[9,28,71,111],"establishes":[11],"certain":[12],"(in)validities":[13],"concerning":[14,163],"episodic":[15,26,67],"imagination.":[16,27,70],"They":[17],"are":[18],"not":[19,32,64,159,168],"all":[20],"equally":[21],"plausible":[22,160],"as":[23,161],"principles":[24,162],"of":[25,38,54,57,69,91,126,129,144],"also":[30],"does":[31,63],"model":[33,65,122,202],"that":[34,155,207],"the":[35,49,55,61,66,75,115,123,150],"initial":[36,85,127],"input":[37,128],"an":[39],"episode":[41],"is":[42],"deliberately":[43,83],"chosen.":[44],"Stit":[45],"-imagination":[46,93],"models":[48,210],"imagining":[50],"agent\u2019s":[51],"deliberate":[52,124],"choice":[53,125],"content":[56],"their":[58],"imagining.":[59],"However,":[60],"nature":[68],"present":[72],"paper":[73],"combines":[74],"two":[76],"logics,":[77],"thereby":[78],"modelling":[79],"episodes":[81,131],"with":[82,196],"chosen":[84],"input.":[86],"We":[87,166],"use":[88],"combination":[90],"stit":[92],"and":[95,205],"content-sensitive":[97],"variably":[98],"strict":[99],"conditional":[100],"\u00e0":[101],"la":[102],"Berto,":[103],"which":[105,147,199],"we":[106,121,137,191],"give":[107,180],"Chellas\u2013Segerberg":[109],"semantics.":[110],"semantics":[113,194,209],"has":[114],"following":[116],"advantages":[117],"over":[118],"Berto\u2019s:":[119],"(i)":[120],"(in":[132],"multi-agent":[134],"setting),":[135],"(ii)":[136],"show":[138],"frame":[139],"correspondences":[140],"axiomatic":[142],"analogues":[143],"Berto\u2019s":[145],"validities,":[146],"(iii)":[148],"allows":[149],"possibility":[151],"to":[152,187,201],"disregard":[153,188],"axioms":[154],"might":[156,185],"be":[157,177],"considered":[158],"do":[167],"take":[169],"definite":[171],"stance":[172],"on":[173],"whether":[174],"these":[175],"should":[176],"disregarded":[178],"but":[179],"reasons":[181],"why":[183],"one":[184],"want":[186],"them.":[189],"Finally,":[190],"compare":[192],"our":[193,208],"briefly":[195],"recent":[197],"work,":[198],"aims":[200],"voluntary":[203],"imagination,":[204],"argue":[206],"different":[211],"aspects.":[212]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}