{"id":"https://openalex.org/W1590839691","doi":"https://doi.org/10.3233/fi-2014-984","title":"On the Computational Interpretation of CK <sub>n</sub> for Contextual Information Processing","display_name":"On the Computational Interpretation of CK <sub>n</sub> for Contextual Information Processing","publication_year":2014,"publication_date":"2014-02-01","ids":{"openalex":"https://openalex.org/W1590839691","doi":"https://doi.org/10.3233/fi-2014-984","mag":"1590839691"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2014-984","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2014-984","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5056710976","display_name":"Michael Mendler","orcid":"https://orcid.org/0000-0001-9562-0576"},"institutions":[{"id":"https://openalex.org/I94626330","display_name":"University of Bamberg","ror":"https://ror.org/01c1w6d29","country_code":"DE","type":"education","lineage":["https://openalex.org/I94626330"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Mendler","raw_affiliation_strings":["Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich-University of Bamberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich-University of Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073402626","display_name":"Stephan Scheele","orcid":"https://orcid.org/0000-0003-0787-3181"},"institutions":[{"id":"https://openalex.org/I94626330","display_name":"University of Bamberg","ror":"https://ror.org/01c1w6d29","country_code":"DE","type":"education","lineage":["https://openalex.org/I94626330"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stephan Scheele","raw_affiliation_strings":["Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich-University of Bamberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich-University of Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I94626330"],"apc_list":null,"apc_paid":null,"fwci":0.3483,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62720324,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"130","issue":"1","first_page":"125","last_page":"162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9970999956130981,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9865999817848206,"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/interpretation","display_name":"Interpretation (philosophy)","score":0.6978724002838135},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6360988616943359},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49720028042793274},{"id":"https://openalex.org/keywords/information-processing","display_name":"Information processing","score":0.44661611318588257},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4367724359035492},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12444880604743958}],"concepts":[{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6978724002838135},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6360988616943359},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49720028042793274},{"id":"https://openalex.org/C87868495","wikidata":"https://www.wikidata.org/wiki/Q750843","display_name":"Information processing","level":2,"score":0.44661611318588257},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4367724359035492},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12444880604743958},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2014-984","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2014-984","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W66175971","https://openalex.org/W115908653","https://openalex.org/W159715351","https://openalex.org/W1484639702","https://openalex.org/W1485990531","https://openalex.org/W1523651312","https://openalex.org/W1539123436","https://openalex.org/W1542417898","https://openalex.org/W1555563750","https://openalex.org/W1580664042","https://openalex.org/W1582041991","https://openalex.org/W1966647830","https://openalex.org/W1975957807","https://openalex.org/W1981311833","https://openalex.org/W1988824860","https://openalex.org/W1990204174","https://openalex.org/W1995083622","https://openalex.org/W1997143185","https://openalex.org/W2007152073","https://openalex.org/W2013654056","https://openalex.org/W2020894459","https://openalex.org/W2023132547","https://openalex.org/W2023557900","https://openalex.org/W2046993293","https://openalex.org/W2067278394","https://openalex.org/W2082035768","https://openalex.org/W2085690665","https://openalex.org/W2090768444","https://openalex.org/W2093796572","https://openalex.org/W2094706654","https://openalex.org/W2119997500","https://openalex.org/W2143326093","https://openalex.org/W2187936207","https://openalex.org/W2318764792","https://openalex.org/W2405256875","https://openalex.org/W2616614452","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W4313320911","https://openalex.org/W4327743144","https://openalex.org/W4245077728","https://openalex.org/W2390279801","https://openalex.org/W2607424049"],"abstract_inverted_index":{"We":[0,296],"aim":[1],"to":[2,46,237,259,282,309],"establish":[3],"the":[4,33,116,138,153,176,182,219,249,268],"multi-modal":[5,25],"logic":[6,252],"CK":[7,53,58,87,105,135,159,215,254],"n":[8,54,59,88,99,106,136,147,160,208,216,223,255,266,311],"as":[9,30,49,63,78,89,161,246],"a":[10,13,64,79,90,110,131,200,260,271],"baseline":[11],"for":[12,67,134,151,211,232],"constructive":[14,18,43,68,250],"correspondence":[15],"theory":[16,92,145],"of":[17,32,52,118,122,158,199,248,270,279],"modal":[19,44,143,240,251,302],"logics.":[20,295],"Just":[21],"like":[22,290],"many":[23],"classical":[24],"logics":[26,45],"may":[27],"be":[28,47,195],"studied":[29],"theories":[31,247,304],"basic":[34],"system":[35,57,66,114,203],"K":[36],"obtained":[37,245],"by":[38,197,293],"model-theoretic":[39],"specialisation,":[40],"we":[41,85,108],"envisage":[42],"derived":[48],"proof-theoretic":[50],"enrichments":[51],".":[55,100,217,312],"The":[56,141],"would":[60],"then":[61],"act":[62],"core":[65,269],"contextual":[69,112,262,285],"reasoning":[70],"with":[71,164,204],"controlled":[72],"information":[73,280],"flow.":[74],"In":[75,235],"this":[76,83],"paper,":[77],"first":[80],"step":[81],"towards":[82],"goal,":[84],"study":[86],"type":[91,144,162,241,277,303],"and":[93,125,129,156,166,169,189,305],"introduce":[94],"its":[95],"computational":[96,132],"\u03bb-calculus,":[97],"\u03bbCK":[98,146,207,222,265,310],"Extending":[101],"previous":[102],"work":[103,300],"on":[104,301],",":[107],"present":[109],"cut-free":[111],"sequent":[113],"in":[115,175,214,287],"spirit":[117],"Masini's":[119],"two-dimensional":[120],"generalisation":[121],"natural":[123,225],"deduction":[124,226],"Br\u00fcnnler's":[126],"nested":[127],"sequents":[128],"give":[130],"interpretation":[133,150],"following":[137],"Curry-Howard":[139],"Correspondence.":[140],"associated":[142],"permits":[148],"an":[149],"both":[152],"modalities":[154],"\u25a1":[155],"\u25ca":[157],"operators":[163],"simple":[165],"independent":[167],"constructors":[168],"destructors,":[170],"which":[171,229,243,274],"has":[172],"been":[173],"missing":[174],"literature.":[177],"It":[178],"is":[179,209,230,256],"shown":[180],"that":[181],"calculus":[183],"satisfies":[184],"subject":[185],"reduction,":[186],"strong":[187],"normalisation":[188],"confluence.":[190],"Since":[191],"normal":[192],"forms":[193],"can":[194],"characterised":[196],"way":[198],"Gentzen-style":[201],"typing":[202,228],"sub-formula":[205],"property,":[206],"suitable":[210],"proof":[212],"search":[213],"At":[218],"same":[220],"time,":[221],"enjoys":[224],"style":[227],"important":[231],"programming":[233],"applications.":[234],"contrast":[236],"most":[238],"existing":[239,299],"theories,":[242],"are":[244],"S4,":[253],"not":[257],"bound":[258],"particular":[261],"interpretation.":[263],"Thus,":[264],"constitutes":[267],"functional":[272],"language":[273],"provides":[275],"static":[276],"checking":[278],"processing":[281],"support":[283],"safe":[284],"navigation":[286],"relational":[288],"structures":[289],"those":[291],"treated":[292],"description":[294],"review":[297],"some":[298],"discuss":[306],"their":[307],"relation":[308]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2016-06-24T00:00:00"}