{"id":"https://openalex.org/W2531165845","doi":"https://doi.org/10.23638/lmcs-14(2:7)2018","title":"Study of Behaviours via Visitable Paths","display_name":"Study of Behaviours via Visitable Paths","publication_year":2018,"publication_date":"2018-05-07","ids":{"openalex":"https://openalex.org/W2531165845","doi":"https://doi.org/10.23638/lmcs-14(2:7)2018","mag":"2531165845"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-14(2:7)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(2:7)2018","pdf_url":"https://lmcs.episciences.org/4483/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/4483/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071612804","display_name":"Christophe Fouquer\u00e9","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Christophe Fouquer\u00e9","raw_affiliation_strings":["LIPN - Laboratoire d'Informatique de Paris-Nord (Institut Galil\u00e9e, Universit\u00e9 Paris 13, 99 avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse - France)","Universit\u00e9 Sorbonne Paris Nord (99, avenue Jean-Baptiste Cl\u00e9ment, 93430 Villetaneuse - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIPN - Laboratoire d'Informatique de Paris-Nord (Institut Galil\u00e9e, Universit\u00e9 Paris 13, 99 avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse - France)","institution_ids":["https://openalex.org/I4210091279","https://openalex.org/I4210156583"]},{"raw_affiliation_string":"Universit\u00e9 Sorbonne Paris Nord (99, avenue Jean-Baptiste Cl\u00e9ment, 93430 Villetaneuse - France)","institution_ids":["https://openalex.org/I4210091279"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053437574","display_name":"Myriam Quatrini","orcid":null},"institutions":[{"id":"https://openalex.org/I4210116669","display_name":"Ch\u00e2teau Gombert","ror":"https://ror.org/02kspbq18","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210116669"]},{"id":"https://openalex.org/I4210138206","display_name":"Institut de Math\u00e9matiques de Marseille","ror":"https://ror.org/042h2y225","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210138206","https://openalex.org/I4210141950","https://openalex.org/I4210142724"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Myriam Quatrini","raw_affiliation_strings":["I2M - Institut de Math\u00e9matiques de Marseille (Centre de Math\u00e9matiques et Informatique (CMI)\r\nTechnop\u00f4le Ch\u00e2teau-Gombert\r\n39, rue Fr\u00e9d\u00e9ric Joliot Curie\r\n13453 Marseille Cedex 13 - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I2M - Institut de Math\u00e9matiques de Marseille (Centre de Math\u00e9matiques et Informatique (CMI)\r\nTechnop\u00f4le Ch\u00e2teau-Gombert\r\n39, rue Fr\u00e9d\u00e9ric Joliot Curie\r\n13453 Marseille Cedex 13 - France)","institution_ids":["https://openalex.org/I4210116669","https://openalex.org/I4210160189","https://openalex.org/I4210138206"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.169,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.57019841,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"Volume 14, Issue 2","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9968000054359436,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9968000054359436,"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.9520000219345093,"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/T10142","display_name":"Formal Methods in Verification","score":0.9513999819755554,"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/psychology","display_name":"Psychology","score":0.3434060215950012}],"concepts":[{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3434060215950012}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.23638/lmcs-14(2:7)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(2:7)2018","pdf_url":"https://lmcs.episciences.org/4483/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1403.3772","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1403.3772","pdf_url":"https://arxiv.org/pdf/1403.3772","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:HAL:hal-02103721v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02103721","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2018, 14 (2), pp.7. ⟨10.23638/LMCS-14(2:7)2018⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:2e6706cc424b4ac1a0515d3d274ad8f6","is_oa":true,"landing_page_url":"https://doaj.org/article/2e6706cc424b4ac1a0515d3d274ad8f6","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 14, Issue 2 (2018)","raw_type":"article"},{"id":"mag:2531165845","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.23638/lmcs-14(2:7)2018","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-14(2:7)2018","pdf_url":"https://lmcs.episciences.org/4483/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1550714392","display_name":null,"funder_award_id":"ANR-10-BLAN-0213","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2531165845.pdf"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W766779143","https://openalex.org/W1552685794","https://openalex.org/W1605309428","https://openalex.org/W1851437493","https://openalex.org/W1964454590","https://openalex.org/W1973260109","https://openalex.org/W1984267738","https://openalex.org/W2011228482","https://openalex.org/W2023588434","https://openalex.org/W2059515205","https://openalex.org/W2078432227","https://openalex.org/W2094685149","https://openalex.org/W2107067818","https://openalex.org/W2112691878","https://openalex.org/W2115184394","https://openalex.org/W2127636312","https://openalex.org/W2129290355","https://openalex.org/W2145617779","https://openalex.org/W2155393363","https://openalex.org/W2166463841","https://openalex.org/W2741081363","https://openalex.org/W3099774142","https://openalex.org/W4205094339","https://openalex.org/W4242125186","https://openalex.org/W4297785344","https://openalex.org/W4301204382"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2931662336","https://openalex.org/W4220667126","https://openalex.org/W2077865380","https://openalex.org/W3006817050","https://openalex.org/W4401768695","https://openalex.org/W2765597752","https://openalex.org/W2134894512","https://openalex.org/W2083375246"],"abstract_inverted_index":{"Around":[0],"2000,":[1],"J.-Y.":[2],"Girard":[3],"developed":[4],"a":[5,13,54,56,62,86,89,111,116,132,136,139,142,153,174,187,190,209,220,252],"logical":[6,33,81],"theory,":[7],"called":[8,38],"Ludics.":[9],"This":[10,204],"theory":[11],"was":[12],"step":[14],"in":[15,72,138],"his":[16],"program":[17],"of":[18,20,24,32,53,61,67,74,77,83,92,101,118,126,144,155,158,176,183,186,216,219,223,235,238,251],"Geometry":[19],"Interaction,":[21],"the":[22,30,46,51,70,75,80,99,156,159,167,181,213,233,249],"aim":[23,95],"which":[25,170,268],"being":[26,179],"to":[27,97,104,165,207],"account":[28],"for":[29,45,178,211,246,267],"dynamics":[31,52],"proofs.":[34],"In":[35,108],"Ludics,":[36],"objects":[37],"designs":[39,145,224],"keep":[40],"only":[41],"what":[42],"is":[43,58,69,88,96,113,135,230],"relevant":[44],"cut":[47],"elimination":[48],"process,":[49],"hence":[50],"proof:":[55],"design":[57,112,140,154],"an":[59,264],"abstraction":[60],"formal":[63],"proof.":[64],"The":[65],"notion":[66,76,82],"behaviour":[68,87,253],"counterpart":[71],"Ludics":[73],"type":[78],"or":[79,123,141],"formula.":[84],"Formally":[85],"closed":[90],"set":[91,117,143,175,182,191,215,222,237],"designs.":[93,239],"Our":[94],"explore":[98],"constructions":[100],"behaviours":[102],"and":[103,192,199,257],"analyse":[105],"their":[106],"properties.":[107,203,272],"this":[109,236],"paper":[110],"viewed":[114],"as":[115],"coherent":[119],"paths.":[120],"We":[121,161,240,260],"recall":[122],"give":[124,270],"variants":[125],"properties":[127,171],"concerning":[128],"visitable":[129,133,184,217],"paths,":[130],"where":[131],"path":[134,137],"that":[146,229],"may":[147],"be":[148,196],"traversed":[149],"by":[150,255,262],"interaction":[151],"with":[152],"orthogonal":[157,234],"set.":[160],"are":[162],"then":[163],"able":[164],"answer":[166],"following":[168],"question:":[169],"should":[172,195],"satisfy":[173,200],"paths":[177,185,218],"exactly":[180],"behaviour?":[188],"Such":[189],"its":[193],"dual":[194],"prefix-closed,":[197],"daimon-closed":[198],"two":[201],"saturation":[202],"allows":[205],"us":[206],"have":[208],"means":[210],"defining":[212],"whole":[214],"given":[221],"without":[225,231],"closing":[226],"it":[227],"explicitly,":[228],"computing":[232],"finally":[241],"apply":[242],"all":[243],"these":[244],"results":[245],"making":[247],"explicit":[248],"structure":[250],"generated":[254],"constants":[256],"multiplicative/additive":[258],"connectives.":[259],"end":[261],"proposing":[263],"oriented":[265],"tensor":[266],"we":[269],"basic":[271]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-14T07:44:22.658603","created_date":"2025-10-10T00:00:00"}