A Metalogic Programming Approach to Multi-Agent Knowledge and Belief

Publisher Website

1 January 1991

book chapter
Published by Elsevier

p. 231-246
https://doi.org/10.1016/b978-0-12-450010-5.50019-0

Abstract

No abstract available

Keywords

METALOGIC PROGRAMMING APPROACH

This publication has 6 references indexed in Scilit:

Languages with self-reference II: Knowledge, belief, and modality
Artificial Intelligence, 1988
THE CONSISTENCY OF SYNTACTICAL TREATMENTS OF KNOWLEDGE
Published by Elsevier ,1986
A note on syntactical treatments of modality
Synthese, 1980
Prolegomena to a theory of mechanized formal reasoning
Artificial Intelligence, 1980
On the Model Theory of Knowledge
Published by Defense Technical Information Center (DTIC) ,1978
A point of reference
Synthese, 1974