{"id":"https://openalex.org/W1564398974","doi":"https://doi.org/10.1007/bfb0016280","title":"A proof system to derive eventuality properties under justice hypothesis","display_name":"A proof system to derive eventuality properties under justice hypothesis","publication_year":2005,"publication_date":"2005-11-13","ids":{"openalex":"https://openalex.org/W1564398974","doi":"https://doi.org/10.1007/bfb0016280","mag":"1564398974"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0016280","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0016280","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5102820557","display_name":"Dominique M\u00e9ry","orcid":"https://orcid.org/0000-0001-5231-6611"},"institutions":[{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Dominique Mery","raw_affiliation_strings":["Laboratoire de Recherche en Informatique de METZ, Universite de METZ Faculte des Sciences, Ile du Saulcy, 57045, Metz, France","Laboratoire de Recherche en Informatique de METZ, Universite de METZ Faculte des Sciences, Metz, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire de Recherche en Informatique de METZ, Universite de METZ Faculte des Sciences, Ile du Saulcy, 57045, Metz, France","institution_ids":["https://openalex.org/I4210144804"]},{"raw_affiliation_string":"Laboratoire de Recherche en Informatique de METZ, Universite de METZ Faculte des Sciences, Metz, France","institution_ids":["https://openalex.org/I102197404"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102820557"],"corresponding_institution_ids":["https://openalex.org/I102197404","https://openalex.org/I4210144804"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.4986,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.64311994,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"536","last_page":"544"},"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.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/T10126","display_name":"Logic, programming, and type systems","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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.8213696479797363},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7661231756210327},{"id":"https://openalex.org/keywords/precondition","display_name":"Precondition","score":0.7080714702606201},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.6499620676040649},{"id":"https://openalex.org/keywords/economic-justice","display_name":"Economic Justice","score":0.5160512328147888},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.48220956325531006},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43993696570396423},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.42992573976516724},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4136032164096832},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39787375926971436},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.37295496463775635},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.34723207354545593},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3322128653526306},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2928798198699951},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.23962989449501038},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.22404947876930237},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.1888931691646576},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11549285054206848}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8213696479797363},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7661231756210327},{"id":"https://openalex.org/C192465680","wikidata":"https://www.wikidata.org/wiki/Q1413450","display_name":"Precondition","level":2,"score":0.7080714702606201},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.6499620676040649},{"id":"https://openalex.org/C139621336","wikidata":"https://www.wikidata.org/wiki/Q3190382","display_name":"Economic Justice","level":2,"score":0.5160512328147888},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.48220956325531006},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43993696570396423},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.42992573976516724},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4136032164096832},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39787375926971436},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.37295496463775635},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34723207354545593},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3322128653526306},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2928798198699951},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.23962989449501038},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.22404947876930237},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.1888931691646576},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11549285054206848},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bfb0016280","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0016280","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6499999761581421,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W15971364","https://openalex.org/W1484799852","https://openalex.org/W1586932402","https://openalex.org/W1798280647","https://openalex.org/W1983409972","https://openalex.org/W2023808162","https://openalex.org/W2030926579","https://openalex.org/W2039025680","https://openalex.org/W2092469168","https://openalex.org/W2107725559","https://openalex.org/W2123596219","https://openalex.org/W2166656159","https://openalex.org/W2987907651","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W2586282251","https://openalex.org/W2962692142","https://openalex.org/W1771651560","https://openalex.org/W4300725361","https://openalex.org/W2386897142","https://openalex.org/W1605727975","https://openalex.org/W4232127999","https://openalex.org/W1640180556","https://openalex.org/W329313523","https://openalex.org/W2262032878"],"abstract_inverted_index":null,"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}