{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:30Z","timestamp":1740141510395,"version":"3.37.3"},"reference-count":30,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2020,9,24]],"date-time":"2020-09-24T00:00:00Z","timestamp":1600905600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Research Foundation Flanders","doi-asserted-by":"publisher","award":["G0D2716N","12Q1918N"],"award-info":[{"award-number":["G0D2716N","12Q1918N"]}],"id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]},{"name":"University of Bayreuth","award":["795329"],"award-info":[{"award-number":["795329"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out the semantics of these logics in terms of neighborhood models, provide sound and strongly complete axiomatizations and establish the decidability of specific (agent-finite) variants.<\/jats:p>","DOI":"10.1093\/logcom\/exaa053","type":"journal-article","created":{"date-parts":[[2020,9,2]],"date-time":"2020-09-02T19:15:36Z","timestamp":1599074136000},"page":"1026-1054","source":"Crossref","is-referenced-by-count":1,"title":["Classical term-modal logics"],"prefix":"10.1093","volume":"31","author":[{"given":"Stef","family":"Frijters","sequence":"first","affiliation":[{"name":"Centre for Logic and Philosophy of Science, Ghent University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederik","family":"Van De Putte","sequence":"additional","affiliation":[{"name":"Centre for Logic and Philosophy of Science, Ghent University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2020,9,24]]},"reference":[{"article-title":"Dynamic term-modal logics for epistemic planning","year":"2019","author":"Achen","key":"2021080214460347400_ref1"},{"key":"2021080214460347400_ref2","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1017\/S1755020315000209","article-title":"Obligation, free choice, and the logic of weakest permissions","volume":"8","author":"Anglberger","year":"2015","journal-title":"The Review of Symbolic Logic"},{"key":"2021080214460347400_ref3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s11225-006-9010-0","article-title":"First-order classical modal logic","volume":"84","author":"Arl\u00f3-Costa","year":"2006","journal-title":"Studia Logica: An International Journal for Symbolic Logic"},{"key":"2021080214460347400_ref4","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1016\/S1570-2464(07)80012-7","article-title":"Modal proof theory","volume-title":"Handbook of Modal Logic","author":"Bra\u00fcner","year":"2007"},{"key":"2021080214460347400_ref5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"2021080214460347400_ref6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","article-title":"Intention is choice with commitment","volume":"42","author":"Cohen","year":"1990","journal-title":"Artificial Intelligence"},{"key":"2021080214460347400_ref7","doi-asserted-by":"crossref","first-page":"1159","DOI":"10.1007\/s11225-013-9528-x","article-title":"Free quantified epistemic logics","volume":"101","author":"Corsi","year":"2013","journal-title":"Studia Logica"},{"key":"2021080214460347400_ref8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s11023-017-9426-5","article-title":"The strength of desires: a logical approach","volume":"27","author":"Dubois","year":"2017","journal-title":"Minds & Machines"},{"key":"2021080214460347400_ref9","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S1570-2464(07)80005-X","article-title":"Modal proof theory","volume-title":"Handbook of Modal Logic","author":"Fiting","year":"2007"},{"key":"2021080214460347400_ref10","article-title":"First-order modal logic","volume-title":"Science & Business Media","author":"Fitting","year":"2012"},{"key":"2021080214460347400_ref11","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1013842612702","article-title":"Term-modal logics","volume":"69","author":"Fitting","year":"2001","journal-title":"Studia Logica"},{"article-title":"Reasoning with rules and rights: term-modal deontic logic","year":"2019","author":"Frijters","key":"2021080214460347400_ref12"},{"key":"2021080214460347400_ref13","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"key":"2021080214460347400_ref14","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/BF01306968","article-title":"The deliberative stit: a study of action, omission, ability, and obligation","volume":"24","author":"Horty","year":"1995","journal-title":"Journal of Philosophical Logic"},{"key":"2021080214460347400_ref15","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A new introduction to modal logic","author":"Hughes","year":"1996"},{"key":"2021080214460347400_ref16","article-title":"Reasons to believe in a social environment","volume-title":"13th International Conference on Deontic Logic in Computer Science (DEON 2016), 18 July 2016\u201321 July 2016 (Bayreuth, Germany)","author":"Liu","year":"2016"},{"key":"2021080214460347400_ref17","doi-asserted-by":"crossref","DOI":"10.1016\/S1874-5857(06)80029-4","article-title":"Deontic logic","volume-title":"The Stanford Encyclopedia of Philosophy","author":"McNamara"},{"article-title":"Toward a systematization of logics for monadic and dyadic agency & ability (preliminary version)","volume-title":"Proceedings for Deontic Logic and Normative Systems (Deon 2018), 3\u20136 July 2018, Utrecht, the Netherlands","author":"McNamara","key":"2021080214460347400_ref18"},{"key":"2021080214460347400_ref19","article-title":"Decidable term-modal logics","volume-title":"Multi-Agent Systems and Agreement Technologies","author":"Orlandelli","year":"2017"},{"key":"2021080214460347400_ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic. Short Textbooks in Logic","author":"Pacuit","year":"2017"},{"key":"2021080214460347400_ref21","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","article-title":"A modal logic for coalitional power in games","volume":"1","author":"Pauly","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"2021080214460347400_ref22","first-page":"496","article-title":"A modal logic for beliefs and pro attitudes","volume-title":"Proceedings of the AAAI","author":"Su","year":"2007"},{"volume-title":"Term-Modal Logic and Quantifier-Free Dynamic Assignment Logic","year":"2000","author":"Thalmann","key":"2021080214460347400_ref23"},{"key":"2021080214460347400_ref24","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-94-010-3272-8_3","article-title":"Some completeness results for modal predicate calculi","volume-title":"Philosophical Problems in Logic","author":"Thomason","year":"1970"},{"key":"2021080214460347400_ref25","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","article-title":"Dynamic logics of evidence-based beliefs","volume":"99","author":"van Benthem","year":"2011","journal-title":"Studia Logica"},{"key":"2021080214460347400_ref26","first-page":"97","article-title":"Evidence logic: a new look at neighborhood structures","author":"van Benthem","year":"2012","journal-title":"Advances in Modal Logic"},{"key":"2021080214460347400_ref27","doi-asserted-by":"crossref","DOI":"10.1007\/s10670-016-9829-3","article-title":"That will do: logics of deontic necessity and sufficiency","author":"Van De Putte","year":"2017","journal-title":"Erkenntnis"},{"article-title":"Pooling modalities and pointwise intersection: axiomatization and decidability","year":"2019","author":"Van De Putte","key":"2021080214460347400_ref28"},{"article-title":"Pooling modalities and pointwise intersection: semantics, expressivity and applications","year":"2019","author":"Van De Putte","key":"2021080214460347400_ref29"},{"key":"2021080214460347400_ref30","first-page":"523","article-title":"Adaptive deontic logics: a survey","volume":"6","author":"Van De Putte","year":"2019","journal-title":"Journal of Applied Logics"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/4\/1026\/39536190\/exaa053.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/4\/1026\/39536190\/exaa053.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,2]],"date-time":"2021-08-02T16:40:52Z","timestamp":1627922452000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/4\/1026\/5910380"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,24]]},"references-count":30,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2020,9,24]]},"published-print":{"date-parts":[[2021,6,4]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa053","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2021,6]]},"published":{"date-parts":[[2020,9,24]]}}}