scientific article

zbMATH Open0519.03010MaRDI QIDQ3669375

Robert K. Meyer

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

quantified relevant logicsprenex normal form

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

One variable relevant logics are S5Ish ⋮ First-order relevant reasoners in classical worlds

This page was built for publication:

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