{"id":"https://openalex.org/W1530102020","doi":"https://doi.org/10.1007/3-540-61313-7_62","title":"Geometrical structures and modal logic","display_name":"Geometrical structures and modal logic","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W1530102020","doi":"https://doi.org/10.1007/3-540-61313-7_62","mag":"1530102020"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-61313-7_62","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-61313-7_62","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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04010156","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043349795","display_name":"Philippe Balbiani","orcid":"https://orcid.org/0000-0002-3569-9160"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I2802079931","display_name":"Nord University","ror":"https://ror.org/030mwrt98","country_code":"NO","type":"education","lineage":["https://openalex.org/I2802079931"]},{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG","FR","NO"],"is_corresponding":true,"raw_author_name":"Philippe Balbiani","raw_affiliation_strings":["Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","Sofia University","Universit\u00e9 Paris-Nord","Universit\u00e9 Paul Sabatier"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","institution_ids":["https://openalex.org/I134560555"]},{"raw_affiliation_string":"Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","institution_ids":[]},{"raw_affiliation_string":"Sofia University","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 Paris-Nord","institution_ids":["https://openalex.org/I2802079931"]},{"raw_affiliation_string":"Universit\u00e9 Paul Sabatier","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001235333","display_name":"Lu\u00eds Fari\u00f1as del Cerro","orcid":"https://orcid.org/0000-0001-8752-8876"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I2802079931","display_name":"Nord University","ror":"https://ror.org/030mwrt98","country_code":"NO","type":"education","lineage":["https://openalex.org/I2802079931"]},{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG","FR","NO"],"is_corresponding":false,"raw_author_name":"Luis Fari\u00f1as del Cerro","raw_affiliation_strings":["Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","Sofia University","Universit\u00e9 Paris-Nord","Universit\u00e9 Paul Sabatier"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","institution_ids":["https://openalex.org/I134560555"]},{"raw_affiliation_string":"Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","institution_ids":[]},{"raw_affiliation_string":"Sofia University","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 Paris-Nord","institution_ids":["https://openalex.org/I2802079931"]},{"raw_affiliation_string":"Universit\u00e9 Paul Sabatier","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022456894","display_name":"Tinko Tinchev","orcid":"https://orcid.org/0000-0002-0545-0364"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I2802079931","display_name":"Nord University","ror":"https://ror.org/030mwrt98","country_code":"NO","type":"education","lineage":["https://openalex.org/I2802079931"]},{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG","FR","NO"],"is_corresponding":false,"raw_author_name":"Tinko Tinchev","raw_affiliation_strings":["Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","Sofia University","Universit\u00e9 Paris-Nord","Universit\u00e9 Paul Sabatier"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","institution_ids":["https://openalex.org/I134560555"]},{"raw_affiliation_string":"Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","institution_ids":[]},{"raw_affiliation_string":"Sofia University","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 Paris-Nord","institution_ids":["https://openalex.org/I2802079931"]},{"raw_affiliation_string":"Universit\u00e9 Paul Sabatier","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076246494","display_name":"Dimiter Vakarelov","orcid":null},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I2802079931","display_name":"Nord University","ror":"https://ror.org/030mwrt98","country_code":"NO","type":"education","lineage":["https://openalex.org/I2802079931"]},{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG","FR","NO"],"is_corresponding":true,"raw_author_name":"Dimiter Vakarelov","raw_affiliation_strings":["Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","Sofia University","Universit\u00e9 Paris-Nord","Universit\u00e9 Paul Sabatier"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic with Laboratory for Applied Logic, Faculty of Mathematics and Informatics, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"Institut de recherche en informatique de Toulouse, Universit\u00e9 Paul Sabatier, 118 route de Narbonne, F-31062, Toulouse Cedex","institution_ids":["https://openalex.org/I134560555"]},{"raw_affiliation_string":"Laboratoire d'informatique de Paris-Nord, Institut Galil\u00e9e, Universit\u00e9 Paris-Nord, Avenue Jean-Baptiste Cl\u00e9ment, F-93430, Villetaneuse","institution_ids":[]},{"raw_affiliation_string":"Sofia University","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 Paris-Nord","institution_ids":["https://openalex.org/I2802079931"]},{"raw_affiliation_string":"Universit\u00e9 Paul Sabatier","institution_ids":["https://openalex.org/I134560555"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5043349795","https://openalex.org/A5076246494"],"corresponding_institution_ids":["https://openalex.org/I134560555","https://openalex.org/I2802079931","https://openalex.org/I58918642"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.68,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64842958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"43","last_page":"57"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9936000108718872,"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.9936000108718872,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9739000201225281,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9621000289916992,"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/accessibility-relation","display_name":"Accessibility relation","score":0.7764849662780762},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.7628248929977417},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.696806788444519},{"id":"https://openalex.org/keywords/sort","display_name":"sort","score":0.6179065108299255},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5719165205955505},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5557446479797363},{"id":"https://openalex.org/keywords/orthogonality","display_name":"Orthogonality","score":0.5464831590652466},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.5412563681602478},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5196287035942078},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.5086591839790344},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.4985473155975342},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3896504044532776},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38303422927856445},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35567086935043335},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3283967077732086},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.27833396196365356},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.22200262546539307},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.17203637957572937},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.11290299892425537}],"concepts":[{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.7764849662780762},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.7628248929977417},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.696806788444519},{"id":"https://openalex.org/C88548561","wikidata":"https://www.wikidata.org/wiki/Q347599","display_name":"sort","level":2,"score":0.6179065108299255},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5719165205955505},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5557446479797363},{"id":"https://openalex.org/C17137986","wikidata":"https://www.wikidata.org/wiki/Q215067","display_name":"Orthogonality","level":2,"score":0.5464831590652466},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.5412563681602478},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5196287035942078},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.5086591839790344},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.4985473155975342},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3896504044532776},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38303422927856445},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35567086935043335},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3283967077732086},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27833396196365356},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.22200262546539307},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.17203637957572937},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.11290299892425537},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/3-540-61313-7_62","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-61313-7_62","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"},{"id":"pmh:oai:HAL:hal-04010156v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04010156","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://link.springer.com/chapter/10.1007/3-540-61313-7_62","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04010156v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04010156","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://link.springer.com/chapter/10.1007/3-540-61313-7_62","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1007879806","https://openalex.org/W1039203514","https://openalex.org/W1488267121","https://openalex.org/W1531702563","https://openalex.org/W1556012730","https://openalex.org/W1600348701","https://openalex.org/W1603602114","https://openalex.org/W2004532354","https://openalex.org/W2042622894","https://openalex.org/W2153417525","https://openalex.org/W2280207958","https://openalex.org/W4213219346","https://openalex.org/W6851207049"],"related_works":["https://openalex.org/W2101793126","https://openalex.org/W2077061463","https://openalex.org/W2766759918","https://openalex.org/W2271944696","https://openalex.org/W1530784265","https://openalex.org/W2951073329","https://openalex.org/W2064387576","https://openalex.org/W2554822349","https://openalex.org/W4297910344","https://openalex.org/W2963628981"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}