scientific article; zbMATH DE number 3821690

zbMATH Open0519.03010MaRDI QIDQ3669375FDOQ3669375

Authors: 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)

Cited In (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)