Contraction of combined normative sets

MaRDI QIDQ5224915zbMATH OpenFDO

Authors Juliano S. A. Maranhão, Edelcio Gonçalves de Souza

Publication date 24 July 2019

zbMATH Keywords

interpretationbelief revisioncombination of logicsnormative systemsinput/output logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Combined logics (03B62)

Recommendations

• scientific article; zbMATH DE number 7659875
• Kernel contraction
• Contracting intuitionistic theories
• Combining constitutive and regulative norms in input/output logic
• Theory contraction and base contraction unified

Cited in

(1)

• Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base

This page was built for publication: Contraction of combined normative sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224915)