TY - JOUR
T1 - Classical term-modal logics
AU - Frijters, Stef
AU - Van De Putte, Frederik
PY - 2021/6
Y1 - 2021/6
N2 - 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.
AB - 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.
UR - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=eur_pure&SrcAuth=WosAPI&KeyUT=WOS:000687200800002&DestLinkType=FullRecord&DestApp=WOS
U2 - 10.1093/logcom/exaa053
DO - 10.1093/logcom/exaa053
M3 - Article
SN - 0955-792X
VL - 31
SP - 1026
EP - 1054
JO - Journal of Logic and Computation
JF - Journal of Logic and Computation
IS - 4
ER -