{"id":"https://openalex.org/W1965500826","doi":"https://doi.org/10.1007/s11225-006-8296-2","title":"Willem Blok and Modal Logic","display_name":"Willem Blok and Modal Logic","publication_year":2006,"publication_date":"2006-06-01","ids":{"openalex":"https://openalex.org/W1965500826","doi":"https://doi.org/10.1007/s11225-006-8296-2","mag":"1965500826"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-006-8296-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-006-8296-2","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","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/A5043004961","display_name":"Wolfgang Rautenberg","orcid":null},"institutions":[{"id":"https://openalex.org/I75951250","display_name":"Freie Universit\u00e4t Berlin","ror":"https://ror.org/046ak2485","country_code":"DE","type":"education","lineage":["https://openalex.org/I75951250"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"W. Rautenberg","raw_affiliation_strings":["Freie Universitat Berlin 2. Mathematisches Institut Arnimallee 2, 14195, Berlin, Germany","Freie Universitat Berlin 2. Mathematisches Institut Arnimallee 2, Berlin, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Freie Universitat Berlin 2. Mathematisches Institut Arnimallee 2, 14195, Berlin, Germany","institution_ids":["https://openalex.org/I75951250"]},{"raw_affiliation_string":"Freie Universitat Berlin 2. Mathematisches Institut Arnimallee 2, Berlin, Germany","institution_ids":["https://openalex.org/I75951250"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001878365","display_name":"Michael Zakharyaschev","orcid":"https://orcid.org/0000-0002-2210-5183"},"institutions":[{"id":"https://openalex.org/I124357947","display_name":"University of London","ror":"https://ror.org/04cw6st05","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947"]},{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"M. Zakharyaschev","raw_affiliation_strings":["School of Computer Science and Information Systems Birbeck College, Univ. of London, London, United Kingdom","School of Computer Science and Information Systems Birbeck College, Univ. of London, Malet Street, London, WC1E 7HX, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer Science and Information Systems Birbeck College, Univ. of London, London, United Kingdom","institution_ids":["https://openalex.org/I124357947"]},{"raw_affiliation_string":"School of Computer Science and Information Systems Birbeck College, Univ. of London, Malet Street, London, WC1E 7HX, United Kingdom","institution_ids":["https://openalex.org/I98259816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010967150","display_name":"Frank Wolter","orcid":"https://orcid.org/0000-0002-4470-606X"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"F. Wolter","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, United Kingdom","Department of Computer Science, University of Liverpool, Liverpool, United Kingdom","Dept. of Computer Science, University of Liverpool, Liverpool, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, United Kingdom","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Liverpool, United Kingdom","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"Dept. of Computer Science, University of Liverpool, Liverpool, United Kingdom","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5001878365","https://openalex.org/A5010967150","https://openalex.org/A5043004961"],"corresponding_institution_ids":["https://openalex.org/I124357947","https://openalex.org/I146655781","https://openalex.org/I75951250","https://openalex.org/I98259816"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":1.0627,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.83664316,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"83","issue":"1-3","first_page":"15","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9987999796867371,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"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/modal-logic","display_name":"Modal logic","score":0.8049408793449402},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.7450857162475586},{"id":"https://openalex.org/keywords/accessibility-relation","display_name":"Accessibility relation","score":0.6536981463432312},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5938770174980164},{"id":"https://openalex.org/keywords/computational-linguistics","display_name":"Computational linguistics","score":0.5726438760757446},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.47259268164634705},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.4566028416156769},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41184481978416443},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.36596769094467163},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29885655641555786},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.27544745802879333},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.12116110324859619},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.061343610286712646}],"concepts":[{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.8049408793449402},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.7450857162475586},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.6536981463432312},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5938770174980164},{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.5726438760757446},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.47259268164634705},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.4566028416156769},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41184481978416443},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.36596769094467163},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29885655641555786},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.27544745802879333},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.12116110324859619},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.061343610286712646},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11225-006-8296-2","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-006-8296-2","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:46480","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/46480/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400465","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.49000000953674316,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W64416701","https://openalex.org/W636279620","https://openalex.org/W658664067","https://openalex.org/W1499268515","https://openalex.org/W1517643705","https://openalex.org/W1527588453","https://openalex.org/W1579494268","https://openalex.org/W1603162778","https://openalex.org/W1768995144","https://openalex.org/W1966279115","https://openalex.org/W1969340980","https://openalex.org/W1978559879","https://openalex.org/W1983453585","https://openalex.org/W1991153667","https://openalex.org/W1998269853","https://openalex.org/W2002937553","https://openalex.org/W2003611270","https://openalex.org/W2004247000","https://openalex.org/W2007096790","https://openalex.org/W2024350733","https://openalex.org/W2031058801","https://openalex.org/W2038216920","https://openalex.org/W2040069022","https://openalex.org/W2050527500","https://openalex.org/W2056531162","https://openalex.org/W2084684966","https://openalex.org/W2099602798","https://openalex.org/W2118313805","https://openalex.org/W2120980296","https://openalex.org/W2161004731","https://openalex.org/W2165072880","https://openalex.org/W2232005191","https://openalex.org/W2286396437","https://openalex.org/W2335444786","https://openalex.org/W2527843003","https://openalex.org/W2970205057","https://openalex.org/W4245085453","https://openalex.org/W6631587915"],"related_works":["https://openalex.org/W830045649","https://openalex.org/W1537541219","https://openalex.org/W1988817063","https://openalex.org/W4248107646","https://openalex.org/W1909183225","https://openalex.org/W1566488688","https://openalex.org/W2138716118","https://openalex.org/W7834247","https://openalex.org/W119381390","https://openalex.org/W2949195168"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}