scientific article; zbMATH DE number 7085150
From MaRDI portal
Publication:5224917
zbMath1418.03098MaRDI QIDQ5224917
Xavier Parent, Leendert van der Torre
Publication date: 24 July 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
From input/output logics to conditional logics via sequents -- with provers ⋮ Deontic paradoxes in Mīmāṃsā logics: there and back again ⋮ Subordination algebras as semantic environment of input/output logic ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
This page was built for publication: