论文信息 - A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic - 字舞流文

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic

John-Jules Ch. Meyer | J. Meyer

[1] K. Segerberg. A completeness theorem in the modal logic of programs , 1982 .

[2] Robert P. McArthur. Anderson's deontic logic and relevant implication , 1981, Notre Dame J. Formal Log..

[3] Cornelis Hermen Huisjes. Norms and logic , 1981 .

[4] acobus Adrianus van Eck. A system of temporally relative modal and deontic predicate logic and its philosophical applications , 1981 .

[5] J. W. de Bakker,et al. Mathematical theory of program correctness , 1980, Prentice-Hall international series in computer science.

[6] David Harel,et al. First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[7] Dov M. Gabbay,et al. Investigations in modal and tense logics with applications to problems in philosophy and linguistics , 1976 .

[8] Wolfgang Klein,et al. Einführung in die Normenlogik , 1973 .

[9] Risto Hilpinen,et al. Deontic Logic: An Introduction , 1970 .

[10] Jaakko Hintikka. Some Main Problems of Deontic Logic , 1970 .

[11] Compensatory lengthening 1 A challenge for OT , 2022 .