<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Frijters, Stef</style></author><author><style face="normal" font="default" size="100%">Van De Putte, Frederik</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Classical term-modal logics</style></title><secondary-title><style face="normal" font="default" size="100%">JOURNAL OF LOGIC AND COMPUTATION</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Arts and Humanities (miscellaneous)</style></keyword><keyword><style  face="normal" font="default" size="100%">CHOICE}</style></keyword><keyword><style  face="normal" font="default" size="100%">Hardware and Architecture</style></keyword><keyword><style  face="normal" font="default" size="100%">logic</style></keyword><keyword><style  face="normal" font="default" size="100%">Software</style></keyword><keyword><style  face="normal" font="default" size="100%">{Theoretical Computer Science</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2021</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">{http://dx.doi.org/10.1093/logcom/exaa053}</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">4</style></number><volume><style face="normal" font="default" size="100%">31</style></volume><pages><style face="normal" font="default" size="100%">1026-1054</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;{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.}&lt;/p&gt;</style></abstract></record></records></xml>