TY - JOUR T1 - Classical term-modal logics JF - JOURNAL OF LOGIC AND COMPUTATION Y1 - 2021 A1 - Frijters, Stef A1 - Van De Putte, Frederik KW - Arts and Humanities (miscellaneous) KW - CHOICE} KW - Hardware and Architecture KW - logic KW - Software KW - {Theoretical Computer Science 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.}

VL - 31 SP - 1026-1054 UR - {http://dx.doi.org/10.1093/logcom/exaa053} ER - TY - Generic T1 - How to take heroin (if at all). A new approach to detachment in deontic logic T2 - Deontic Logic and Normative Systems: 14th International Conference Y1 - 2018 A1 - Van De Putte, Frederik A1 - Frijters, Stef A1 - Meheus, Joke ED - Condoravdi, Cleo ED - Nair, Shyam ED - Pigozzi, Gabriella JA - Deontic Logic and Normative Systems: 14th International Conference PB - College Publications CY - London SP - 317-335 ER -