Inproceedings,

A Model-Theoretic Analysis of Knowledge: Preliminary Report

, , and .
FOCS, page 268-278. IEEE Computer Society, (1984)

Meta data

Tags

Users

  • @dblp

Comments and Reviews