scientific article; zbMATH DE number 7594187
From MaRDI portal
Publication:5869627
Christoph Benzmüller, Ali Farjami, Xavier Parent, Paul Meder
Publication date: 28 September 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
From input/output logics to conditional logics via sequents -- with provers ⋮ Subordination algebras as semantic environment of input/output logic ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
This page was built for publication:
