Classical term-modal logics
Stef Frijters, Frederik Van De Putte · Journal of Logic and Computation · 2020
Abstract 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.