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.

中文翻译：

---

经典术语模态逻辑

我们介绍了经典的术语模态逻辑，并认为它们对于建模相对于代理，义务，证据和能力的概念以及它们与所讨论的代理的属性和关系之间的相互作用很有用。我们根据邻域模型阐明这些逻辑的语义，提供合理且完全完整的公理化，并确定特定（代理有限）变体的可判定性。