scientific article; zbMATH DE number 7594188

From MaRDI portal

Publication:5869628

Jump to:navigation, search

MaRDI QIDQ5869628

Christoph Benzmüller, Ali Farjami, Xavier Parent

Publication date: 28 September 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated reasoning preference semantics classical higher-order logic dyadic deontic logic semantical embedding

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5869628&oldid=30725638"