Lokhorst, G.J.C.

logic system action symbol deontic condition agent formula predicate event deontic logic world example i t i axiom function scheme doxastic logic sense state da costa relativism axiom schemes lokhorst definition sentence information systems process claim doxastic theory activity deontic status reasoning erasmu research university notre dame journal affair system x iff model philosophy operator journal people rotterdam function symbols costa constant language expert culture reichenbach semantic axiom scheme variable status logic programming latter action sentence c iff c rule schemes r ~ r logica copier british journal system x poverty c t i relativism gert-jan c n-ary relativist extensional predicate calculus predicate symbols information science studia vasil institute belief