Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W4211144022', 'doi': 'https://doi.org/10.1017/cbo9781107050884', 'title': 'Modal Logic', 'display_name': 'Modal Logic', 'publication_year': 2001, 'publication_date': '2001-06-28', 'ids': {'openalex': 'https://openalex.org/W4211144022', 'doi': 'https://doi.org/10.1017/cbo9781107050884'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1017/cbo9781107050884', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book', 'type_crossref': 'monograph', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5044128824', 'display_name': 'Patrick Blackburn', 'orcid': 'https://orcid.org/0000-0001-9345-552X'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Patrick Blackburn', 'raw_affiliation_strings': [], 'affiliations': []}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5031439294', 'display_name': 'Maarten de Rijke', 'orcid': 'https://orcid.org/0000-0002-1086-0202'}, 'institutions': [{'id': 'https://openalex.org/I865915315', 'display_name': 'Vrije Universiteit Amsterdam', 'ror': 'https://ror.org/008xxew50', 'country_code': 'NL', 'type': 'education', 'lineage': ['https://openalex.org/I865915315']}, {'id': 'https://openalex.org/I887064364', 'display_name': 'University of Amsterdam', 'ror': 'https://ror.org/04dkp9463', 'country_code': 'NL', 'type': 'education', 'lineage': ['https://openalex.org/I887064364']}], 'countries': ['NL'], 'is_corresponding': False, 'raw_author_name': 'Maarten de Rijke', 'raw_affiliation_strings': ['Universiteit van Amsterdam'], 'affiliations': [{'raw_affiliation_string': 'Universiteit van Amsterdam', 'institution_ids': ['https://openalex.org/I865915315', 'https://openalex.org/I887064364']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5105920523', 'display_name': 'Yde Venema', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I865915315', 'display_name': 'Vrije Universiteit Amsterdam', 'ror': 'https://ror.org/008xxew50', 'country_code': 'NL', 'type': 'education', 'lineage': ['https://openalex.org/I865915315']}, {'id': 'https://openalex.org/I887064364', 'display_name': 'University of Amsterdam', 'ror': 'https://ror.org/04dkp9463', 'country_code': 'NL', 'type': 'education', 'lineage': ['https://openalex.org/I887064364']}], 'countries': ['NL'], 'is_corresponding': False, 'raw_author_name': 'Yde Venema', 'raw_affiliation_strings': ['Universiteit van Amsterdam'], 'affiliations': [{'raw_affiliation_string': 'Universiteit van Amsterdam', 'institution_ids': ['https://openalex.org/I865915315', 'https://openalex.org/I887064364']}]}], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 11.586, 'has_fulltext': False, 'cited_by_count': 1425, 'citation_normalized_percentile': {'value': 0.998141, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 99, 'max': 100}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic Programming and Knowledge Representation', 'score': 0.997, '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 Programming and Knowledge Representation', 'score': 0.997, '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/T10215', 'display_name': 'Semantic Web and Ontology Development', 'score': 0.9888, '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/T10456', 'display_name': 'Methods and Techniques for Agent-Based Modeling', 'score': 0.9816, '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-logics', 'display_name': 'Modal Logics', 'score': 0.633957}, {'id': 'https://openalex.org/keywords/temporal-logic', 'display_name': 'Temporal Logic', 'score': 0.538385}, {'id': 'https://openalex.org/keywords/description-logics', 'display_name': 'Description Logics', 'score': 0.53616}, {'id': 'https://openalex.org/keywords/epistemic-logic', 'display_name': 'Epistemic Logic', 'score': 0.52927}, {'id': 'https://openalex.org/keywords/s5', 'display_name': 'S5', 'score': 0.49862885}, {'id': 'https://openalex.org/keywords/completeness', 'display_name': 'Completeness (order theory)', 'score': 0.4186347}], 'concepts': [{'id': 'https://openalex.org/C27508121', 'wikidata': 'https://www.wikidata.org/wiki/Q210841', 'display_name': 'Modal logic', 'level': 3, 'score': 0.7164744}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6272152}, {'id': 'https://openalex.org/C2777796570', 'wikidata': 'https://www.wikidata.org/wiki/Q2351326', 'display_name': 'Dynamic logic (digital electronics)', 'level': 4, 'score': 0.5532665}, {'id': 'https://openalex.org/C107247716', 'wikidata': 'https://www.wikidata.org/wiki/Q1347436', 'display_name': 'Epistemic modal logic', 'level': 4, 'score': 0.5174085}, {'id': 'https://openalex.org/C71139939', 'wikidata': 'https://www.wikidata.org/wiki/Q910194', 'display_name': 'Modal', 'level': 2, 'score': 0.51694006}, {'id': 'https://openalex.org/C11191006', 'wikidata': 'https://www.wikidata.org/wiki/Q2663311', 'display_name': 'Accessibility relation', 'level': 4, 'score': 0.5119475}, {'id': 'https://openalex.org/C192609573', 'wikidata': 'https://www.wikidata.org/wiki/Q7388341', 'display_name': 'S5', 'level': 5, 'score': 0.49862885}, {'id': 'https://openalex.org/C203659156', 'wikidata': 'https://www.wikidata.org/wiki/Q6934805', 'display_name': 'Multimodal logic', 'level': 3, 'score': 0.46744072}, {'id': 'https://openalex.org/C192209626', 'wikidata': 'https://www.wikidata.org/wiki/Q190909', 'display_name': 'Focus (optics)', 'level': 2, 'score': 0.42144442}, {'id': 'https://openalex.org/C9652623', 'wikidata': 'https://www.wikidata.org/wiki/Q190109', 'display_name': 'Field (mathematics)', 'level': 2, 'score': 0.42096847}, {'id': 'https://openalex.org/C17231256', 'wikidata': 'https://www.wikidata.org/wiki/Q5156540', 'display_name': 'Completeness (order theory)', 'level': 2, 'score': 0.4186347}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.32420054}, {'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.20129585}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.17881513}, {'id': 'https://openalex.org/C127413603', 'wikidata': 'https://www.wikidata.org/wiki/Q11023', 'display_name': 'Engineering', 'level': 0, 'score': 0.10498303}, {'id': 'https://openalex.org/C134306372', 'wikidata': 'https://www.wikidata.org/wiki/Q7754', 'display_name': 'Mathematical analysis', '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/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C120665830', 'wikidata': 'https://www.wikidata.org/wiki/Q14620', 'display_name': 'Optics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C172385210', 'wikidata': 'https://www.wikidata.org/wiki/Q5339', 'display_name': 'Transistor', 'level': 3, 'score': 0.0}, {'id': 'https://openalex.org/C165801399', 'wikidata': 'https://www.wikidata.org/wiki/Q25428', 'display_name': 'Voltage', 'level': 2, 'score': 0.0}, {'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/C202444582', 'wikidata': 'https://www.wikidata.org/wiki/Q837863', 'display_name': 'Pure mathematics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C119599485', 'wikidata': 'https://www.wikidata.org/wiki/Q43035', 'display_name': 'Electrical engineering', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1017/cbo9781107050884', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/4', 'display_name': 'Quality education', 'score': 0.88}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 215, 'referenced_works': ['https://openalex.org/W1213181494', 'https://openalex.org/W129686139', 'https://openalex.org/W143925898', 'https://openalex.org/W1480405493', 'https://openalex.org/W1483339275', 'https://openalex.org/W1483892218', 'https://openalex.org/W1489122755', 'https://openalex.org/W1492654741', 'https://openalex.org/W1494976167', 'https://openalex.org/W1501571921', 'https://openalex.org/W1507376847', 'https://openalex.org/W1511783249', 'https://openalex.org/W1514829103', 'https://openalex.org/W1519478560', 'https://openalex.org/W1527588453', 'https://openalex.org/W1540180001', 'https://openalex.org/W1544798111', 'https://openalex.org/W1547536896', 'https://openalex.org/W1549008998', 'https://openalex.org/W1554432980', 'https://openalex.org/W1555138513', 'https://openalex.org/W1559258781', 'https://openalex.org/W1559525454', 'https://openalex.org/W1567084588', 'https://openalex.org/W1567725311', 'https://openalex.org/W1573411777', 'https://openalex.org/W1574590689', 'https://openalex.org/W1580101121', 'https://openalex.org/W1585533089', 'https://openalex.org/W1594869486', 'https://openalex.org/W1596067335', 'https://openalex.org/W1603162778', 'https://openalex.org/W1705887879', 'https://openalex.org/W1968372691', 'https://openalex.org/W1968888224', 'https://openalex.org/W1969184283', 'https://openalex.org/W1969340980', 'https://openalex.org/W1972543255', 'https://openalex.org/W1972549159', 'https://openalex.org/W1972560931', 'https://openalex.org/W1975305637', 'https://openalex.org/W1980468125', 'https://openalex.org/W1980794674', 'https://openalex.org/W1982615521', 'https://openalex.org/W1986383192', 'https://openalex.org/W1988370352', 'https://openalex.org/W1988376188', 'https://openalex.org/W1988434703', 'https://openalex.org/W1988903622', 'https://openalex.org/W1989314289', 'https://openalex.org/W1990620456', 'https://openalex.org/W1990865424', 'https://openalex.org/W1991748341', 'https://openalex.org/W1991981864', 'https://openalex.org/W1992670332', 'https://openalex.org/W1992702120', 'https://openalex.org/W1996529189', 'https://openalex.org/W1998269853', 'https://openalex.org/W2004306968', 'https://openalex.org/W2004334891', 'https://openalex.org/W2004532354', 'https://openalex.org/W2008621787', 'https://openalex.org/W2008960163', 'https://openalex.org/W2011700761', 'https://openalex.org/W2011893112', 'https://openalex.org/W2017025480', 'https://openalex.org/W2017093277', 'https://openalex.org/W2017096836', 'https://openalex.org/W2017542140', 'https://openalex.org/W2018409597', 'https://openalex.org/W2019891739', 'https://openalex.org/W2031058801', 'https://openalex.org/W2032543872', 'https://openalex.org/W2033071128', 'https://openalex.org/W2034881866', 'https://openalex.org/W2035020702', 'https://openalex.org/W2036639698', 'https://openalex.org/W2040718457', 'https://openalex.org/W2040935455', 'https://openalex.org/W2042622894', 'https://openalex.org/W2043855341', 'https://openalex.org/W2045304669', 'https://openalex.org/W2046358127', 'https://openalex.org/W2047294512', 'https://openalex.org/W2049352524', 'https://openalex.org/W2049916273', 'https://openalex.org/W2052882335', 'https://openalex.org/W2054793991', 'https://openalex.org/W2055092188', 'https://openalex.org/W2058832382', 'https://openalex.org/W2061003582', 'https://openalex.org/W2064773636', 'https://openalex.org/W2065234465', 'https://openalex.org/W2066692146', 'https://openalex.org/W2067202258', 'https://openalex.org/W2068458083', 'https://openalex.org/W2069016743', 'https://openalex.org/W2069709605', 'https://openalex.org/W2071467583', 'https://openalex.org/W2073663206', 'https://openalex.org/W2076073997', 'https://openalex.org/W2080896750', 'https://openalex.org/W2084684966', 'https://openalex.org/W2086470346', 'https://openalex.org/W2088766073', 'https://openalex.org/W2089947206', 'https://openalex.org/W2092210761', 'https://openalex.org/W2092576830', 'https://openalex.org/W2093157821', 'https://openalex.org/W2093270475', 'https://openalex.org/W2094573629', 'https://openalex.org/W2097410120', 'https://openalex.org/W2098171268', 'https://openalex.org/W2098563247', 'https://openalex.org/W2098655919', 'https://openalex.org/W2105505307', 'https://openalex.org/W2109023621', 'https://openalex.org/W2112303653', 'https://openalex.org/W2118313805', 'https://openalex.org/W2120627125', 'https://openalex.org/W2120935172', 'https://openalex.org/W2120980296', 'https://openalex.org/W2121931250', 'https://openalex.org/W2122667779', 'https://openalex.org/W2124344619', 'https://openalex.org/W2124580444', 'https://openalex.org/W2136147947', 'https://openalex.org/W2138073201', 'https://openalex.org/W2138965741', 'https://openalex.org/W2139570976', 'https://openalex.org/W2139589912', 'https://openalex.org/W2144185328', 'https://openalex.org/W2146819619', 'https://openalex.org/W2146850997', 'https://openalex.org/W2149420462', 'https://openalex.org/W2149736013', 'https://openalex.org/W2149747391', 'https://openalex.org/W2153417525', 'https://openalex.org/W2153956925', 'https://openalex.org/W2154273644', 'https://openalex.org/W2155581733', 'https://openalex.org/W2156708691', 'https://openalex.org/W2158921667', 'https://openalex.org/W2160331299', 'https://openalex.org/W2160811334', 'https://openalex.org/W2161004731', 'https://openalex.org/W2162583406', 'https://openalex.org/W2164389533', 'https://openalex.org/W2170352409', 'https://openalex.org/W2180189393', 'https://openalex.org/W2184080646', 'https://openalex.org/W2216897721', 'https://openalex.org/W2312502266', 'https://openalex.org/W2315064349', 'https://openalex.org/W2325043846', 'https://openalex.org/W2344671925', 'https://openalex.org/W2346143324', 'https://openalex.org/W2487782761', 'https://openalex.org/W2491727406', 'https://openalex.org/W251225716', 'https://openalex.org/W2530544329', 'https://openalex.org/W2563755359', 'https://openalex.org/W2574999163', 'https://openalex.org/W2595178415', 'https://openalex.org/W2601748485', 'https://openalex.org/W2604667307', 'https://openalex.org/W2614636860', 'https://openalex.org/W2806619258', 'https://openalex.org/W2895500577', 'https://openalex.org/W2905135108', 'https://openalex.org/W2933760589', 'https://openalex.org/W2973118476', 'https://openalex.org/W3023595663', 'https://openalex.org/W3042121168', 'https://openalex.org/W3106576400', 'https://openalex.org/W3144889436', 'https://openalex.org/W3145992582', 'https://openalex.org/W3296631', 'https://openalex.org/W338087933', 'https://openalex.org/W4210985435', 'https://openalex.org/W4212906250', 'https://openalex.org/W4213009134', 'https://openalex.org/W4233906803', 'https://openalex.org/W4234687429', 'https://openalex.org/W4235762730', 'https://openalex.org/W4235982777', 'https://openalex.org/W4236568024', 'https://openalex.org/W4243386325', 'https://openalex.org/W4247797067', 'https://openalex.org/W4249653633', 'https://openalex.org/W4252356430', 'https://openalex.org/W4253934133', 'https://openalex.org/W4256562411', 'https://openalex.org/W4293176479', 'https://openalex.org/W4297720958', 'https://openalex.org/W4299136210', 'https://openalex.org/W4300345014', 'https://openalex.org/W4300645031', 'https://openalex.org/W4300885858', 'https://openalex.org/W4302767864', 'https://openalex.org/W4388298880', 'https://openalex.org/W4388299483', 'https://openalex.org/W4388397150', 'https://openalex.org/W48054626', 'https://openalex.org/W5268957', 'https://openalex.org/W586261321', 'https://openalex.org/W591267520', 'https://openalex.org/W596247289', 'https://openalex.org/W614839917', 'https://openalex.org/W620828109', 'https://openalex.org/W64416701', 'https://openalex.org/W65053296', 'https://openalex.org/W83558678', 'https://openalex.org/W85010617', 'https://openalex.org/W97223672'], 'related_works': ['https://openalex.org/W3216606561', 'https://openalex.org/W3210887649', 'https://openalex.org/W3108798275', 'https://openalex.org/W2963445947', 'https://openalex.org/W2795425183', 'https://openalex.org/W2123071520', 'https://openalex.org/W2118891234', 'https://openalex.org/W2101793126', 'https://openalex.org/W1606143631', 'https://openalex.org/W142011187'], 'abstract_inverted_index': {'This': [0], 'is': [1, 38, 60, 70, 82], 'an': [2], 'advanced': [3], '2001': [4], 'textbook': [5], 'on': [6, 87], 'modal': [7, 91, 143], 'logic,': [8], 'a': [9], 'field': [10], 'which': [11], 'caught': [12], 'the': [13, 19, 53, 75, 88, 97], 'attention': [14], 'of': [15, 55, 79, 90, 99], 'computer': [16, 115], 'scientists': [17], 'in': [18, 23, 112], 'late': [20], '1970s.': [21], 'Researchers': [22], 'areas': [24], 'ranging': [25], 'from': [26], 'economics': [27], 'to': [28, 95, 110, 140], 'computational': [29], 'linguistics': [30], 'have': [31], 'since': [32], 'realised': [33], 'its': [34, 68], 'worth.': [35], 'The': [36, 58, 84], 'book': [37], 'for': [39, 42, 137], 'novices': [40], 'and': [41, 67, 72, 105, 108, 114, 121, 131], 'more': [43], 'experienced': [44], 'readers,': [45], 'with': [46, 64, 74], 'two': [47], 'distinct': [48], 'tracks': [49], 'clearly': [50], 'signposted': [51], 'at': [52], 'start': [54], 'each': [56], 'chapter.': [57], 'development': [59], 'mathematical;': [61], 'prior': [62], 'acquaintance': [63], 'first-order': [65], 'logic': [66, 113], 'semantics': [69], 'assumed,': [71], 'familiarity': [73], 'basic': [76, 128], 'mathematical': [77], 'notions': [78], 'set': [80], 'theory': [81], 'required.': [83], 'authors': [85], 'focus': [86], 'use': [89], 'languages': [92], 'as': [93, 118], 'tools': [94], 'analyze': [96], 'properties': [98], 'relational': [100], 'structures,': [101], 'including': [102], 'their': [103], 'algorithmic': [104], 'algebraic': [106], 'aspects,': [107], 'applications': [109], 'issues': [111], 'science': [116], 'such': [117], 'completeness,': [119], 'computability': [120], 'complexity': [122], 'are': [123, 134], 'considered.': [124], 'Three': [125], 'appendices': [126], 'supply': [127], 'background': [129], 'information': [130], 'numerous': [132], 'exercises': [133], 'provided.': [135], 'Ideal': [136], 'anyone': [138], 'wanting': [139], 'learn': [141], 'modern': [142], 'logic.': [144]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W4211144022', 'counts_by_year': [{'year': 2024, 'cited_by_count': 49}, {'year': 2023, 'cited_by_count': 87}, {'year': 2022, 'cited_by_count': 84}, {'year': 2021, 'cited_by_count': 76}, {'year': 2020, 'cited_by_count': 66}, {'year': 2019, 'cited_by_count': 92}, {'year': 2018, 'cited_by_count': 61}, {'year': 2017, 'cited_by_count': 64}, {'year': 2016, 'cited_by_count': 61}, {'year': 2015, 'cited_by_count': 82}, {'year': 2014, 'cited_by_count': 57}, {'year': 2013, 'cited_by_count': 68}, {'year': 2012, 'cited_by_count': 76}], 'updated_date': '2024-09-09T16:56:27.874964', 'created_date': '2022-02-13'}