scientific article; zbMATH DE number 549975

zbMATH Open0797.03020MaRDI QIDQ4287494

Nick Davies

Publication date: 12 April 1994

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

zbMATH Keywords

knowledgebelieffirst-order self-referential logic of truthfirst-order theory of reasoning agents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

A defense the Kripkean account of logical truth in first-order modal logic

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 Q4287494)