Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi Article Swipe
International audience
Related Topics
Concepts
Modal
Sequent
Mathematics
Cube (algebra)
Kripke semantics
Normal modal logic
T-norm fuzzy logics
Computer science
Algorithm
Pure mathematics
Algebra over a field
Theoretical computer science
Discrete mathematics
Combinatorics
Artificial intelligence
Multimodal logic
Description logic
Fuzzy logic
Fuzzy set
Polymer chemistry
Membership function
Chemistry
Metadata
- Type
- preprint
- Language
- en
- Landing Page
- https://hdl.handle.net/11567/995766
- OA Status
- green
- Cited By
- 13
- References
- 11
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W2925439225
All OpenAlex metadata
Raw OpenAlex JSON
- OpenAlex ID
-
https://openalex.org/W2925439225Canonical identifier for this work in OpenAlex
- Title
-
Non-normal modal logics: bi-neighbourhood semantics and its labelled calculiWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2018Year of publication
- Publication date
-
2018-01-01Full publication date if available
- Authors
-
Tiziano Dalmonte, Nicola Olivetti, Sara NegriList of authors in order
- Landing page
-
https://hdl.handle.net/11567/995766Publisher landing page
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://hal.science/hal-02076639Direct OA link when available
- Concepts
-
Modal, Sequent, Mathematics, Cube (algebra), Kripke semantics, Normal modal logic, T-norm fuzzy logics, Computer science, Algorithm, Pure mathematics, Algebra over a field, Theoretical computer science, Discrete mathematics, Combinatorics, Artificial intelligence, Multimodal logic, Description logic, Fuzzy logic, Fuzzy set, Polymer chemistry, Membership function, ChemistryTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
13Total citation count in OpenAlex
- Citations by year (recent)
-
2022: 2, 2021: 2, 2020: 6, 2019: 3Per-year citation counts (last 5 years)
- References (count)
-
11Number of works referenced by this work
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W2925439225 |
|---|---|
| doi | |
| ids.mag | 2925439225 |
| ids.openalex | https://openalex.org/W2925439225 |
| fwci | 3.18712982 |
| type | preprint |
| title | Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T11010 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.9995999932289124 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1702 |
| topics[0].subfield.display_name | Artificial Intelligence |
| topics[0].display_name | Logic, Reasoning, and Knowledge |
| topics[1].id | https://openalex.org/T10126 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.9965999722480774 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1702 |
| topics[1].subfield.display_name | Artificial Intelligence |
| topics[1].display_name | Logic, programming, and type systems |
| topics[2].id | https://openalex.org/T11727 |
| topics[2].field.id | https://openalex.org/fields/17 |
| topics[2].field.display_name | Computer Science |
| topics[2].score | 0.9959999918937683 |
| topics[2].domain.id | https://openalex.org/domains/3 |
| topics[2].domain.display_name | Physical Sciences |
| topics[2].subfield.id | https://openalex.org/subfields/1703 |
| topics[2].subfield.display_name | Computational Theory and Mathematics |
| topics[2].display_name | Advanced Algebra and Logic |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C71139939 |
| concepts[0].level | 2 |
| concepts[0].score | 0.600868284702301 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q910194 |
| concepts[0].display_name | Modal |
| concepts[1].id | https://openalex.org/C89421646 |
| concepts[1].level | 2 |
| concepts[1].score | 0.5374544262886047 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q843632 |
| concepts[1].display_name | Sequent |
| concepts[2].id | https://openalex.org/C33923547 |
| concepts[2].level | 0 |
| concepts[2].score | 0.5108548998832703 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q395 |
| concepts[2].display_name | Mathematics |
| concepts[3].id | https://openalex.org/C53051483 |
| concepts[3].level | 2 |
| concepts[3].score | 0.44878438115119934 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q861555 |
| concepts[3].display_name | Cube (algebra) |
| concepts[4].id | https://openalex.org/C160131679 |
| concepts[4].level | 4 |
| concepts[4].score | 0.43653830885887146 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q2462350 |
| concepts[4].display_name | Kripke semantics |
| concepts[5].id | https://openalex.org/C114092440 |
| concepts[5].level | 4 |
| concepts[5].score | 0.4329259693622589 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q840226 |
| concepts[5].display_name | Normal modal logic |
| concepts[6].id | https://openalex.org/C86602344 |
| concepts[6].level | 5 |
| concepts[6].score | 0.43233418464660645 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q7667918 |
| concepts[6].display_name | T-norm fuzzy logics |
| concepts[7].id | https://openalex.org/C41008148 |
| concepts[7].level | 0 |
| concepts[7].score | 0.4015730023384094 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[7].display_name | Computer science |
| concepts[8].id | https://openalex.org/C11413529 |
| concepts[8].level | 1 |
| concepts[8].score | 0.3827223479747772 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q8366 |
| concepts[8].display_name | Algorithm |
| concepts[9].id | https://openalex.org/C202444582 |
| concepts[9].level | 1 |
| concepts[9].score | 0.36602503061294556 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q837863 |
| concepts[9].display_name | Pure mathematics |
| concepts[10].id | https://openalex.org/C136119220 |
| concepts[10].level | 2 |
| concepts[10].score | 0.3481171131134033 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q1000660 |
| concepts[10].display_name | Algebra over a field |
| concepts[11].id | https://openalex.org/C80444323 |
| concepts[11].level | 1 |
| concepts[11].score | 0.34691113233566284 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[11].display_name | Theoretical computer science |
| concepts[12].id | https://openalex.org/C118615104 |
| concepts[12].level | 1 |
| concepts[12].score | 0.3373548984527588 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q121416 |
| concepts[12].display_name | Discrete mathematics |
| concepts[13].id | https://openalex.org/C114614502 |
| concepts[13].level | 1 |
| concepts[13].score | 0.18766289949417114 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q76592 |
| concepts[13].display_name | Combinatorics |
| concepts[14].id | https://openalex.org/C154945302 |
| concepts[14].level | 1 |
| concepts[14].score | 0.1746981143951416 |
| concepts[14].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[14].display_name | Artificial intelligence |
| concepts[15].id | https://openalex.org/C203659156 |
| concepts[15].level | 3 |
| concepts[15].score | 0.16396471858024597 |
| concepts[15].wikidata | https://www.wikidata.org/wiki/Q6934805 |
| concepts[15].display_name | Multimodal logic |
| concepts[16].id | https://openalex.org/C102993220 |
| concepts[16].level | 2 |
| concepts[16].score | 0.1608169972896576 |
| concepts[16].wikidata | https://www.wikidata.org/wiki/Q387196 |
| concepts[16].display_name | Description logic |
| concepts[17].id | https://openalex.org/C58166 |
| concepts[17].level | 2 |
| concepts[17].score | 0.12172949314117432 |
| concepts[17].wikidata | https://www.wikidata.org/wiki/Q224821 |
| concepts[17].display_name | Fuzzy logic |
| concepts[18].id | https://openalex.org/C42011625 |
| concepts[18].level | 3 |
| concepts[18].score | 0.08563128113746643 |
| concepts[18].wikidata | https://www.wikidata.org/wiki/Q1055058 |
| concepts[18].display_name | Fuzzy set |
| concepts[19].id | https://openalex.org/C188027245 |
| concepts[19].level | 1 |
| concepts[19].score | 0.0 |
| concepts[19].wikidata | https://www.wikidata.org/wiki/Q750446 |
| concepts[19].display_name | Polymer chemistry |
| concepts[20].id | https://openalex.org/C5263885 |
| concepts[20].level | 4 |
| concepts[20].score | 0.0 |
| concepts[20].wikidata | https://www.wikidata.org/wiki/Q1967302 |
| concepts[20].display_name | Membership function |
| concepts[21].id | https://openalex.org/C185592680 |
| concepts[21].level | 0 |
| concepts[21].score | 0.0 |
| concepts[21].wikidata | https://www.wikidata.org/wiki/Q2329 |
| concepts[21].display_name | Chemistry |
| keywords[0].id | https://openalex.org/keywords/modal |
| keywords[0].score | 0.600868284702301 |
| keywords[0].display_name | Modal |
| keywords[1].id | https://openalex.org/keywords/sequent |
| keywords[1].score | 0.5374544262886047 |
| keywords[1].display_name | Sequent |
| keywords[2].id | https://openalex.org/keywords/mathematics |
| keywords[2].score | 0.5108548998832703 |
| keywords[2].display_name | Mathematics |
| keywords[3].id | https://openalex.org/keywords/cube |
| keywords[3].score | 0.44878438115119934 |
| keywords[3].display_name | Cube (algebra) |
| keywords[4].id | https://openalex.org/keywords/kripke-semantics |
| keywords[4].score | 0.43653830885887146 |
| keywords[4].display_name | Kripke semantics |
| keywords[5].id | https://openalex.org/keywords/normal-modal-logic |
| keywords[5].score | 0.4329259693622589 |
| keywords[5].display_name | Normal modal logic |
| keywords[6].id | https://openalex.org/keywords/t-norm-fuzzy-logics |
| keywords[6].score | 0.43233418464660645 |
| keywords[6].display_name | T-norm fuzzy logics |
| keywords[7].id | https://openalex.org/keywords/computer-science |
| keywords[7].score | 0.4015730023384094 |
| keywords[7].display_name | Computer science |
| keywords[8].id | https://openalex.org/keywords/algorithm |
| keywords[8].score | 0.3827223479747772 |
| keywords[8].display_name | Algorithm |
| keywords[9].id | https://openalex.org/keywords/pure-mathematics |
| keywords[9].score | 0.36602503061294556 |
| keywords[9].display_name | Pure mathematics |
| keywords[10].id | https://openalex.org/keywords/algebra-over-a-field |
| keywords[10].score | 0.3481171131134033 |
| keywords[10].display_name | Algebra over a field |
| keywords[11].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[11].score | 0.34691113233566284 |
| keywords[11].display_name | Theoretical computer science |
| keywords[12].id | https://openalex.org/keywords/discrete-mathematics |
| keywords[12].score | 0.3373548984527588 |
| keywords[12].display_name | Discrete mathematics |
| keywords[13].id | https://openalex.org/keywords/combinatorics |
| keywords[13].score | 0.18766289949417114 |
| keywords[13].display_name | Combinatorics |
| keywords[14].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[14].score | 0.1746981143951416 |
| keywords[14].display_name | Artificial intelligence |
| keywords[15].id | https://openalex.org/keywords/multimodal-logic |
| keywords[15].score | 0.16396471858024597 |
| keywords[15].display_name | Multimodal logic |
| keywords[16].id | https://openalex.org/keywords/description-logic |
| keywords[16].score | 0.1608169972896576 |
| keywords[16].display_name | Description logic |
| keywords[17].id | https://openalex.org/keywords/fuzzy-logic |
| keywords[17].score | 0.12172949314117432 |
| keywords[17].display_name | Fuzzy logic |
| keywords[18].id | https://openalex.org/keywords/fuzzy-set |
| keywords[18].score | 0.08563128113746643 |
| keywords[18].display_name | Fuzzy set |
| language | en |
| locations[0].id | pmh:oai:iris.unige.it:11567/995766 |
| locations[0].is_oa | False |
| locations[0].source.id | https://openalex.org/S4377196291 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | False |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | CINECA IRIS Institutial Research Information System (University of Genoa) |
| locations[0].source.host_organization | https://openalex.org/I83816512 |
| locations[0].source.host_organization_name | University of Genoa |
| locations[0].source.host_organization_lineage | https://openalex.org/I83816512 |
| locations[0].license | |
| locations[0].pdf_url | |
| locations[0].version | submittedVersion |
| locations[0].raw_type | info:eu-repo/semantics/bookPart |
| locations[0].license_id | |
| locations[0].is_accepted | False |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | https://hdl.handle.net/11567/995766 |
| locations[1].id | pmh:oai:HAL:hal-02076639v1 |
| locations[1].is_oa | True |
| locations[1].source.id | https://openalex.org/S4306402512 |
| locations[1].source.issn | |
| locations[1].source.type | repository |
| locations[1].source.is_oa | False |
| locations[1].source.issn_l | |
| locations[1].source.is_core | False |
| locations[1].source.is_in_doaj | False |
| locations[1].source.display_name | HAL (Le Centre pour la Communication Scientifique Directe) |
| locations[1].source.host_organization | https://openalex.org/I1294671590 |
| locations[1].source.host_organization_name | Centre National de la Recherche Scientifique |
| locations[1].source.host_organization_lineage | https://openalex.org/I1294671590 |
| locations[1].license | other-oa |
| locations[1].pdf_url | |
| locations[1].version | submittedVersion |
| locations[1].raw_type | Conference papers |
| locations[1].license_id | https://openalex.org/licenses/other-oa |
| locations[1].is_accepted | False |
| locations[1].is_published | False |
| locations[1].raw_source_name | Advances in Modal Logic 2018, Aug 2018, Berne, Switzerland |
| locations[1].landing_page_url | https://hal.science/hal-02076639 |
| authorships[0].author.id | https://openalex.org/A5019687464 |
| authorships[0].author.orcid | https://orcid.org/0000-0002-7153-0506 |
| authorships[0].author.display_name | Tiziano Dalmonte |
| authorships[0].countries | FR |
| authorships[0].affiliations[0].institution_ids | https://openalex.org/I21491767 |
| authorships[0].affiliations[0].raw_affiliation_string | AMU - Aix Marseille Université (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) |
| authorships[0].affiliations[1].raw_affiliation_string | LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (France) |
| authorships[0].affiliations[2].institution_ids | https://openalex.org/I4210114274 |
| authorships[0].affiliations[2].raw_affiliation_string | LSIS - Laboratoire des Sciences de l'Information et des Systèmes (Domaine Universitaire de Saint-Jérôme Batiment Polytech Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 - France) |
| authorships[0].institutions[0].id | https://openalex.org/I21491767 |
| authorships[0].institutions[0].ror | https://ror.org/035xkbk20 |
| authorships[0].institutions[0].type | education |
| authorships[0].institutions[0].lineage | https://openalex.org/I21491767 |
| authorships[0].institutions[0].country_code | FR |
| authorships[0].institutions[0].display_name | Aix-Marseille Université |
| authorships[0].institutions[1].id | https://openalex.org/I4210114274 |
| authorships[0].institutions[1].ror | https://ror.org/0257sgk90 |
| authorships[0].institutions[1].type | facility |
| authorships[0].institutions[1].lineage | https://openalex.org/I1294671590, https://openalex.org/I143002897, https://openalex.org/I21491767, https://openalex.org/I4210114274 |
| authorships[0].institutions[1].country_code | FR |
| authorships[0].institutions[1].display_name | Laboratoire d’Informatique et Systèmes |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Tiziano Dalmonte |
| authorships[0].is_corresponding | False |
| authorships[0].raw_affiliation_strings | AMU - Aix Marseille Université (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France), LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (France), LSIS - Laboratoire des Sciences de l'Information et des Systèmes (Domaine Universitaire de Saint-Jérôme Batiment Polytech Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 - France) |
| authorships[1].author.id | https://openalex.org/A5000093016 |
| authorships[1].author.orcid | https://orcid.org/0000-0001-6254-3754 |
| authorships[1].author.display_name | Nicola Olivetti |
| authorships[1].countries | FR |
| authorships[1].affiliations[0].institution_ids | https://openalex.org/I4210114274 |
| authorships[1].affiliations[0].raw_affiliation_string | LSIS - Laboratoire des Sciences de l'Information et des Systèmes (Domaine Universitaire de Saint-Jérôme Batiment Polytech Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 - France) |
| authorships[1].affiliations[1].institution_ids | https://openalex.org/I21491767 |
| authorships[1].affiliations[1].raw_affiliation_string | AMU - Aix Marseille Université (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France) |
| authorships[1].affiliations[2].raw_affiliation_string | LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (France) |
| authorships[1].institutions[0].id | https://openalex.org/I21491767 |
| authorships[1].institutions[0].ror | https://ror.org/035xkbk20 |
| authorships[1].institutions[0].type | education |
| authorships[1].institutions[0].lineage | https://openalex.org/I21491767 |
| authorships[1].institutions[0].country_code | FR |
| authorships[1].institutions[0].display_name | Aix-Marseille Université |
| authorships[1].institutions[1].id | https://openalex.org/I4210114274 |
| authorships[1].institutions[1].ror | https://ror.org/0257sgk90 |
| authorships[1].institutions[1].type | facility |
| authorships[1].institutions[1].lineage | https://openalex.org/I1294671590, https://openalex.org/I143002897, https://openalex.org/I21491767, https://openalex.org/I4210114274 |
| authorships[1].institutions[1].country_code | FR |
| authorships[1].institutions[1].display_name | Laboratoire d’Informatique et Systèmes |
| authorships[1].author_position | middle |
| authorships[1].raw_author_name | Nicola Olivetti |
| authorships[1].is_corresponding | False |
| authorships[1].raw_affiliation_strings | AMU - Aix Marseille Université (Aix-Marseille Université Jardins du Pharo 58 Boulevard Charles Livon 13284 Marseille cedex 7 - France), LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (France), LSIS - Laboratoire des Sciences de l'Information et des Systèmes (Domaine Universitaire de Saint-Jérôme Batiment Polytech Avenue Escadrille Normandie-Niemen 13397 MARSEILLE CEDEX 20 - France) |
| authorships[2].author.id | https://openalex.org/A5051669490 |
| authorships[2].author.orcid | https://orcid.org/0000-0003-3958-6312 |
| authorships[2].author.display_name | Sara Negri |
| authorships[2].countries | FI |
| authorships[2].affiliations[0].institution_ids | https://openalex.org/I133731052 |
| authorships[2].affiliations[0].raw_affiliation_string | Helsingin yliopisto = Helsingfors universitet = University of Helsinki (Yliopistonkatu 4, 00100 Helsinki - Finland) |
| authorships[2].institutions[0].id | https://openalex.org/I133731052 |
| authorships[2].institutions[0].ror | https://ror.org/040af2s02 |
| authorships[2].institutions[0].type | education |
| authorships[2].institutions[0].lineage | https://openalex.org/I133731052 |
| authorships[2].institutions[0].country_code | FI |
| authorships[2].institutions[0].display_name | University of Helsinki |
| authorships[2].author_position | last |
| authorships[2].raw_author_name | Sara Negri |
| authorships[2].is_corresponding | False |
| authorships[2].raw_affiliation_strings | Helsingin yliopisto = Helsingfors universitet = University of Helsinki (Yliopistonkatu 4, 00100 Helsinki - Finland) |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://hal.science/hal-02076639 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Non-normal modal logics: bi-neighbourhood semantics and its labelled calculi |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-11-06T04:12:42.849631 |
| primary_topic.id | https://openalex.org/T11010 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.9995999932289124 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1702 |
| primary_topic.subfield.display_name | Artificial Intelligence |
| primary_topic.display_name | Logic, Reasoning, and Knowledge |
| related_works | https://openalex.org/W369161646, https://openalex.org/W1558962892, https://openalex.org/W1984835059, https://openalex.org/W4287372193, https://openalex.org/W2077061463, https://openalex.org/W2278216746, https://openalex.org/W4224275486, https://openalex.org/W2171395754, https://openalex.org/W4223971889, https://openalex.org/W4306891373 |
| cited_by_count | 13 |
| counts_by_year[0].year | 2022 |
| counts_by_year[0].cited_by_count | 2 |
| counts_by_year[1].year | 2021 |
| counts_by_year[1].cited_by_count | 2 |
| counts_by_year[2].year | 2020 |
| counts_by_year[2].cited_by_count | 6 |
| counts_by_year[3].year | 2019 |
| counts_by_year[3].cited_by_count | 3 |
| locations_count | 2 |
| best_oa_location.id | pmh:oai:HAL:hal-02076639v1 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306402512 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | False |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | HAL (Le Centre pour la Communication Scientifique Directe) |
| best_oa_location.source.host_organization | https://openalex.org/I1294671590 |
| best_oa_location.source.host_organization_name | Centre National de la Recherche Scientifique |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I1294671590 |
| best_oa_location.license | other-oa |
| best_oa_location.pdf_url | |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | Conference papers |
| best_oa_location.license_id | https://openalex.org/licenses/other-oa |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | Advances in Modal Logic 2018, Aug 2018, Berne, Switzerland |
| best_oa_location.landing_page_url | https://hal.science/hal-02076639 |
| primary_location.id | pmh:oai:iris.unige.it:11567/995766 |
| primary_location.is_oa | False |
| primary_location.source.id | https://openalex.org/S4377196291 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | False |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | CINECA IRIS Institutial Research Information System (University of Genoa) |
| primary_location.source.host_organization | https://openalex.org/I83816512 |
| primary_location.source.host_organization_name | University of Genoa |
| primary_location.source.host_organization_lineage | https://openalex.org/I83816512 |
| primary_location.license | |
| primary_location.pdf_url | |
| primary_location.version | submittedVersion |
| primary_location.raw_type | info:eu-repo/semantics/bookPart |
| primary_location.license_id | |
| primary_location.is_accepted | False |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | https://hdl.handle.net/11567/995766 |
| publication_date | 2018-01-01 |
| publication_year | 2018 |
| referenced_works | https://openalex.org/W1506717521, https://openalex.org/W2009762006, https://openalex.org/W2058636048, https://openalex.org/W1596067335, https://openalex.org/W2014812345, https://openalex.org/W2286252794, https://openalex.org/W2768154882, https://openalex.org/W1995718667, https://openalex.org/W2899099304, https://openalex.org/W598113844, https://openalex.org/W2163751633 |
| referenced_works_count | 11 |
| abstract_inverted_index.audience | 1 |
| abstract_inverted_index.International | 0 |
| cited_by_percentile_year.max | 98 |
| cited_by_percentile_year.min | 93 |
| countries_distinct_count | 2 |
| institutions_distinct_count | 3 |
| citation_normalized_percentile.value | 0.93509331 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | True |