{"id":"https://openalex.org/W2795088847","doi":"https://doi.org/10.1093/logcom/exy008","title":"A temporal dynamic deontic logic","display_name":"A temporal dynamic deontic logic","publication_year":2018,"publication_date":"2018-02-27","ids":{"openalex":"https://openalex.org/W2795088847","doi":"https://doi.org/10.1093/logcom/exy008","mag":"2795088847"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exy008","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exy008","pdf_url":"https://academic.oup.com/logcom/article-pdf/29/2/265/27941060/exy008.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://academic.oup.com/logcom/article-pdf/29/2/265/27941060/exy008.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069942181","display_name":"Fengkui Ju","orcid":"https://orcid.org/0000-0002-6686-2557"},"institutions":[{"id":"https://openalex.org/I25254941","display_name":"Beijing Normal University","ror":"https://ror.org/022k4wk35","country_code":"CN","type":"education","lineage":["https://openalex.org/I25254941"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Fengkui Ju","raw_affiliation_strings":["School of Philosophy, Beijing Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Philosophy, Beijing Normal University, Beijing, China","institution_ids":["https://openalex.org/I25254941"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032285962","display_name":"Jan van Eijck","orcid":null},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]},{"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":"Jan van Eijck","raw_affiliation_strings":["Centrum Wiskunde and Informatica, Amsterdam, The Netherlands","Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde and Informatica, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5069942181"],"corresponding_institution_ids":["https://openalex.org/I25254941"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.3375,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67053937,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"29","issue":"2","first_page":"265","last_page":"284"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9994999766349792,"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.9983000159263611,"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.9939000010490417,"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/deontic-logic","display_name":"Deontic logic","score":0.9671612977981567},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6719903945922852},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.6718956232070923},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.6626757979393005},{"id":"https://openalex.org/keywords/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.6079516410827637},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5841829180717468},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5652052164077759},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5007851123809814},{"id":"https://openalex.org/keywords/philosophy-of-logic","display_name":"Philosophy of logic","score":0.48869088292121887},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.48350265622138977},{"id":"https://openalex.org/keywords/normative","display_name":"Normative","score":0.45126959681510925},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29434072971343994},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.2878821790218353},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.19799938797950745}],"concepts":[{"id":"https://openalex.org/C6377922","wikidata":"https://www.wikidata.org/wiki/Q302542","display_name":"Deontic logic","level":2,"score":0.9671612977981567},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6719903945922852},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.6718956232070923},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.6626757979393005},{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.6079516410827637},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5841829180717468},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5652052164077759},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5007851123809814},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.48869088292121887},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.48350265622138977},{"id":"https://openalex.org/C44725695","wikidata":"https://www.wikidata.org/wiki/Q288156","display_name":"Normative","level":2,"score":0.45126959681510925},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29434072971343994},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2878821790218353},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.19799938797950745},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"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/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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exy008","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exy008","pdf_url":"https://academic.oup.com/logcom/article-pdf/29/2/265/27941060/exy008.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:cwi:oai:cwi.nl:28709","is_oa":false,"landing_page_url":"https://ir.cwi.nl/pub/28709","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Logic and Computation, 29(2), 265 - 284","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1093/logcom/exy008","is_oa":true,"landing_page_url":"https://doi.org/10.1093/logcom/exy008","pdf_url":"https://academic.oup.com/logcom/article-pdf/29/2/265/27941060/exy008.pdf","source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6299999952316284}],"awards":[{"id":"https://openalex.org/G2376276132","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G376148366","display_name":null,"funder_award_id":"SKZZY201304","funder_id":"https://openalex.org/F4320335787","funder_display_name":"Fundamental Research Funds for the Central Universities"},{"id":"https://openalex.org/G8589651859","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320322725","funder_display_name":"China Scholarship Council"}],"funders":[{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"},{"id":"https://openalex.org/F4320335787","display_name":"Fundamental Research Funds for the Central Universities","ror":null},{"id":"https://openalex.org/F4320335869","display_name":"National Social Science Fund of China","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2795088847.pdf","grobid_xml":"https://content.openalex.org/works/W2795088847.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1484430684","https://openalex.org/W1493407222","https://openalex.org/W1509441924","https://openalex.org/W1826178160","https://openalex.org/W1967494119","https://openalex.org/W2002089154","https://openalex.org/W2004306067","https://openalex.org/W2015399800","https://openalex.org/W2017014477","https://openalex.org/W2021916230","https://openalex.org/W2036455553","https://openalex.org/W2069709605","https://openalex.org/W2156944395","https://openalex.org/W2167501322","https://openalex.org/W2333173473","https://openalex.org/W2625015865","https://openalex.org/W4211180117","https://openalex.org/W4250525247","https://openalex.org/W4302339081","https://openalex.org/W4315853267","https://openalex.org/W6668939162"],"related_works":["https://openalex.org/W946220898","https://openalex.org/W2143050727","https://openalex.org/W1641375177","https://openalex.org/W2795088847","https://openalex.org/W2949352632","https://openalex.org/W87133233","https://openalex.org/W2087613263","https://openalex.org/W1513198022","https://openalex.org/W2131992843","https://openalex.org/W4360831020"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,10,15,44,74,80],"formalization":[4],"of":[5,20,46,59,67,92,104],"refraining":[6,21],"from":[7],"actions":[8,52,93],"and":[9,49,61],"deontic":[11,71],"logic":[12,41,48,72],"based":[13],"on":[14],"process":[16,40,66,103],"logic.":[17],"The":[18,39,70],"notion":[19],"is":[22,34,43],"needed":[23],"to":[24,30,35,98],"handle":[25],"obligated":[26],"actions.":[27,69,106],"To":[28],"refrain":[29],"do":[31,36],"an":[32],"action":[33],"something":[37],"else.":[38],"used":[42],"mix":[45],"dynamic":[47],"temporal":[50,62,75],"logic:":[51],"in":[53,86,101],"it":[54],"are":[55],"interpreted":[56],"as":[57],"sets":[58],"paths":[60],"formulas":[63],"describe":[64],"the":[65,87,102],"performing":[68,105],"has":[73],"propositional":[76],"constant":[77],"saying":[78],"that":[79],"bad":[81],"thing":[82],"will":[83],"be":[84,95],"done":[85],"next":[88],"moment.":[89],"Normative":[90],"properties":[91],"can":[94],"defined":[96],"according":[97],"what":[99],"happens":[100]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2025-10-10T00:00:00"}