A system of temporally relative modal and deontic predicate logic and its philosophical applications

Er wordt een korte schets gegeven van de momenteel gangbare systemen van deontische logica. Kenmerkend voor de taal van een deontische logica is dat naast de logische operatoren ook deontische operatoren 0 (voor'0ught') en P (voor'Permitted') als constanten worden geintroduceerd. We onderscheiden twee soorten systemen, monadische en dyadische al naar gelang deze 0 en P als unaire danwel binaire connectieven worden behandeld. ... Zie: Samenvatting