Input/Output STIT Logic for Normative Systems

Abstract. In this paper we study input/output STIT logic. We introduce the semantics, proof theory and prove the completeness theorem. Input/output STIT logic has more expressive power than Makinson and van der Torre’s input/output logic. We show that input/output STIT logic is decidable and free from Ross’ paradox. Key words: input/output logic, STIT, norm

• Type: Journal
• Year: 2015
• Where: RULEML
• Authors: Xin Sun 0001
• Keywords: Internet Technology, RULEML 2015