Publication Information

{'id': 'https://openalex.org/W2023870985', 'doi': 'https://doi.org/10.1305/ndjfl/1040046088', 'title': 'Minimal Temporal Epistemic Logic', 'display_name': 'Minimal Temporal Epistemic Logic', 'publication_year': 1996, 'publication_date': '1996-04-01', 'ids': {'openalex': 'https://openalex.org/W2023870985', 'doi': 'https://doi.org/10.1305/ndjfl/1040046088', 'mag': '2023870985'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1305/ndjfl/1040046088', 'pdf_url': 'https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-37/issue-2/Minimal-Temporal-Epistemic-Logic/10.1305/ndjfl/1040046088.pdf', 'source': {'id': 'https://openalex.org/S78544662', 'display_name': 'Notre Dame Journal of Formal Logic', 'issn_l': '0029-4527', 'issn': ['0029-4527', '1939-0726'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310315698', 'host_organization_name': 'Duke University Press', 'host_organization_lineage': ['https://openalex.org/P4310315572', 'https://openalex.org/P4310315698'], 'host_organization_lineage_names': ['Duke University', 'Duke University Press'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'bronze', 'oa_url': 'https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-37/issue-2/Minimal-Temporal-Epistemic-Logic/10.1305/ndjfl/1040046088.pdf', 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5039512008', 'display_name': 'Joeri Engelfriet', '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']}], 'countries': ['NL'], 'is_corresponding': True, 'raw_author_name': 'Joeri Engelfriet', 'raw_affiliation_strings': ['Department of Mathematics and Computer Science Vrije Universiteit Amsterdam De Boelelaan 1081a 1081HV Amsterdam The Netherlands'], 'affiliations': [{'raw_affiliation_string': 'Department of Mathematics and Computer Science Vrije Universiteit Amsterdam De Boelelaan 1081a 1081HV Amsterdam The Netherlands', 'institution_ids': ['https://openalex.org/I865915315']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': ['https://openalex.org/A5039512008'], 'corresponding_institution_ids': ['https://openalex.org/I865915315'], 'apc_list': None, 'apc_paid': None, 'fwci': 4.624, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 29, 'citation_normalized_percentile': {'value': 0.881011, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 87, 'max': 88}, 'biblio': {'volume': '37', 'issue': '2', 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T11010', 'display_name': 'Logic, Reasoning, and Knowledge', 'score': 1.0, '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': 1.0, '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 Ontologies', 'score': 0.9955, '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/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9953, '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/non-monotonic-logic', 'display_name': 'Non-monotonic logic', 'score': 0.7911917}, {'id': 'https://openalex.org/keywords/circumscription', 'display_name': 'Circumscription', 'score': 0.5011003}, {'id': 'https://openalex.org/keywords/probabilistic-logic-network', 'display_name': 'Probabilistic logic network', 'score': 0.47804886}, {'id': 'https://openalex.org/keywords/philosophy-of-logic', 'display_name': 'Philosophy of logic', 'score': 0.46558443}, {'id': 'https://openalex.org/keywords/rule-of-inference', 'display_name': 'Rule of inference', 'score': 0.41450304}], 'concepts': [{'id': 'https://openalex.org/C159032336', 'wikidata': 'https://www.wikidata.org/wiki/Q2488768', 'display_name': 'Non-monotonic logic', 'level': 2, 'score': 0.7911917}, {'id': 'https://openalex.org/C2776214188', 'wikidata': 'https://www.wikidata.org/wiki/Q408386', 'display_name': 'Inference', 'level': 2, 'score': 0.5714093}, {'id': 'https://openalex.org/C167729594', 'wikidata': 'https://www.wikidata.org/wiki/Q17736', 'display_name': 'Axiom', 'level': 2, 'score': 0.56858796}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.5321813}, {'id': 'https://openalex.org/C3845977', 'wikidata': 'https://www.wikidata.org/wiki/Q4826262', 'display_name': 'Autoepistemic logic', 'level': 4, 'score': 0.5205965}, {'id': 'https://openalex.org/C62360110', 'wikidata': 'https://www.wikidata.org/wiki/Q96777007', 'display_name': 'Circumscription', 'level': 2, 'score': 0.5011003}, {'id': 'https://openalex.org/C25343380', 'wikidata': 'https://www.wikidata.org/wiki/Q277521', 'display_name': 'Relation (database)', 'level': 2, 'score': 0.49495667}, {'id': 'https://openalex.org/C161301231', 'wikidata': 'https://www.wikidata.org/wiki/Q3478658', 'display_name': 'Knowledge representation and reasoning', 'level': 2, 'score': 0.48090625}, {'id': 'https://openalex.org/C18998212', 'wikidata': 'https://www.wikidata.org/wiki/Q7246856', 'display_name': 'Probabilistic logic network', 'level': 5, 'score': 0.47804886}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.47057337}, {'id': 'https://openalex.org/C2777796570', 'wikidata': 'https://www.wikidata.org/wiki/Q2351326', 'display_name': 'Dynamic logic (digital electronics)', 'level': 4, 'score': 0.46580154}, {'id': 'https://openalex.org/C101874905', 'wikidata': 'https://www.wikidata.org/wiki/Q2476757', 'display_name': 'Philosophy of logic', 'level': 2, 'score': 0.46558443}, {'id': 'https://openalex.org/C2777212361', 'wikidata': 'https://www.wikidata.org/wiki/Q5127848', 'display_name': 'Class (philosophy)', 'level': 2, 'score': 0.4256901}, {'id': 'https://openalex.org/C102993220', 'wikidata': 'https://www.wikidata.org/wiki/Q387196', 'display_name': 'Description logic', 'level': 2, 'score': 0.424576}, {'id': 'https://openalex.org/C3746660', 'wikidata': 'https://www.wikidata.org/wiki/Q1068763', 'display_name': 'Rule of inference', 'level': 2, 'score': 0.41450304}, {'id': 'https://openalex.org/C203659156', 'wikidata': 'https://www.wikidata.org/wiki/Q6934805', 'display_name': 'Multimodal logic', 'level': 3, 'score': 0.38662028}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.33539274}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.2048876}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, '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/C172385210', 'wikidata': 'https://www.wikidata.org/wiki/Q5339', 'display_name': 'Transistor', 'level': 3, 'score': 0.0}, {'id': 'https://openalex.org/C62520636', 'wikidata': 'https://www.wikidata.org/wiki/Q944', 'display_name': 'Quantum mechanics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C77088390', 'wikidata': 'https://www.wikidata.org/wiki/Q8513', 'display_name': 'Database', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C165801399', 'wikidata': 'https://www.wikidata.org/wiki/Q25428', 'display_name': 'Voltage', 'level': 2, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.1305/ndjfl/1040046088', 'pdf_url': 'https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-37/issue-2/Minimal-Temporal-Epistemic-Logic/10.1305/ndjfl/1040046088.pdf', 'source': {'id': 'https://openalex.org/S78544662', 'display_name': 'Notre Dame Journal of Formal Logic', 'issn_l': '0029-4527', 'issn': ['0029-4527', '1939-0726'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310315698', 'host_organization_name': 'Duke University Press', 'host_organization_lineage': ['https://openalex.org/P4310315572', 'https://openalex.org/P4310315698'], 'host_organization_lineage_names': ['Duke University', 'Duke University Press'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1305/ndjfl/1040046088', 'pdf_url': 'https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-37/issue-2/Minimal-Temporal-Epistemic-Logic/10.1305/ndjfl/1040046088.pdf', 'source': {'id': 'https://openalex.org/S78544662', 'display_name': 'Notre Dame Journal of Formal Logic', 'issn_l': '0029-4527', 'issn': ['0029-4527', '1939-0726'], 'is_oa': False, 'is_in_doaj': False, 'is_core': True, 'host_organization': 'https://openalex.org/P4310315698', 'host_organization_name': 'Duke University Press', 'host_organization_lineage': ['https://openalex.org/P4310315572', 'https://openalex.org/P4310315698'], 'host_organization_lineage_names': ['Duke University', 'Duke University Press'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 28, 'referenced_works': ['https://openalex.org/W1500406034', 'https://openalex.org/W1506378440', 'https://openalex.org/W1525512541', 'https://openalex.org/W1555604471', 'https://openalex.org/W1577604126', 'https://openalex.org/W1588751014', 'https://openalex.org/W1596067335', 'https://openalex.org/W1600348701', 'https://openalex.org/W1760193454', 'https://openalex.org/W184859263', 'https://openalex.org/W1991508422', 'https://openalex.org/W1991972474', 'https://openalex.org/W1997714358', 'https://openalex.org/W2003227046', 'https://openalex.org/W2004387901', 'https://openalex.org/W2017661088', 'https://openalex.org/W2029867900', 'https://openalex.org/W2037583170', 'https://openalex.org/W2055092188', 'https://openalex.org/W2073491323', 'https://openalex.org/W2080142817', 'https://openalex.org/W2126382654', 'https://openalex.org/W2149420462', 'https://openalex.org/W2155322595', 'https://openalex.org/W2159753366', 'https://openalex.org/W2470948957', 'https://openalex.org/W4285719527', 'https://openalex.org/W56211936'], 'related_works': ['https://openalex.org/W942747912', 'https://openalex.org/W77119612', 'https://openalex.org/W2740120804', 'https://openalex.org/W2556146351', 'https://openalex.org/W2321924506', 'https://openalex.org/W2188099143', 'https://openalex.org/W2023870985', 'https://openalex.org/W1995303874', 'https://openalex.org/W1788106506', 'https://openalex.org/W1531543048'], 'abstract_inverted_index': {'In': [0], 'the': [1, 6, 22, 34, 84, 91, 100, 110, 114, 141], 'study': [2, 33, 104], 'of': [3, 25, 36, 65, 86, 128, 143], 'nonmonotonic': [4, 80, 115], 'reasoning': [5, 26, 37], 'main': [7], 'emphasis': [8], 'has': [9, 17], 'been': [10, 19], 'on': [11, 75, 119], 'static': [12], '(declarative)': [13], 'aspects.': [14], 'Only': [15], 'recently': [16], 'there': [18], 'interest': [20], 'in': [21, 29, 57, 83], 'dynamic': [23], 'aspects': [24], 'processes,': [27], 'particularly': [28], 'artificial': [30], 'intelligence.': [31], 'We': [32, 93], 'dynamics': [35], 'processes': [38], 'by': [39], 'using': [40], 'a': [41, 66, 72, 131, 138], 'temporal': [42, 68], 'logic': [43, 62, 70, 102, 112], 'to': [44, 48, 88], 'specify': [45], 'them': [46], 'and': [47, 77, 103, 106, 113, 136], 'reason': [49], 'about': [50], 'their': [51], 'properties,': [52], 'just': [53], 'as': [54], 'is': [55, 63], 'common': [56], 'theoretical': [58], 'computer': [59], 'science.': [60], 'This': [61], 'composed': [64], 'base': [67, 101, 111], 'epistemic': [69], 'with': [71, 140], 'preference': [73], 'relation': [74, 117], 'models,': [76], 'an': [78, 95, 125], 'associated': [79], 'inference': [81, 116], 'relation,': [82], 'style': [85], 'Shoham,': [87], 'account': [89], 'for': [90, 99, 108, 134], 'nonmonotonicity.': [92], 'present': [94], 'axiomatic': [96], 'proof': [97], 'system': [98], 'decidability': [105], 'complexity': [107], 'both': [109], 'based': [118], 'it.': [120], 'Then': [121], 'we': [122], 'look': [123], 'at': [124], 'interesting': [126], 'class': [127], 'formulas,': [129], 'prove': [130], 'representation': [132], 'result': [133], 'it,': [135], 'provide': [137], 'link': [139], 'rule': [142], 'monotonicity.': [144]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2023870985', 'counts_by_year': [{'year': 2020, 'cited_by_count': 1}, {'year': 2019, 'cited_by_count': 4}, {'year': 2018, 'cited_by_count': 1}, {'year': 2015, 'cited_by_count': 1}, {'year': 2014, 'cited_by_count': 1}, {'year': 2013, 'cited_by_count': 1}], 'updated_date': '2024-12-11T08:09:21.799205', 'created_date': '2016-06-24'}