scientific article; zbMATH DE number 3803407

From MaRDI portal

Publication:4748126

Jump to:navigation, search

zbMath0509.03010MaRDI QIDQ4748126

Luis Fariñas del Cerro

Publication date: 1982

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

zbMATH Keywords

modal logics programs fragment of a classical modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean programming (90C09)

Related Items

DAL -- a logic for data analysis

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