Baidu
map

On the complexity of input/output logic

Sun, X; Robaldo, L

Robaldo, L (reprint author), Univ Luxembourg, Luxembourg, Luxembourg.

JOURNAL OF APPLIED LOGIC, 2017; 25 ( ): 69

Abstract

Input/output logic is a formalism in deontic logic and normative reasoning. Unlike deontic logical frameworks based on possible-world semantics, input......

Full Text Link


Baidu
map
Baidu
map
Baidu
map