Sciweavers

Share
RULEML
2015
Springer

Input/Output STIT Logic for Normative Systems

3 years 2 days ago
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
Xin Sun 0001
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where RULEML
Authors Xin Sun 0001
Comments (0)
books