On the model theory of knowledge

Authors:
John McCarthy;Masahiko Sato;Takeshi Hayashi;Shigeru Igarashi
Affiliations:
-;-;-;-
Venue:
On the model theory of knowledge
Year:
1978

Citing 0
Cited 17

An internal semantics for modal logic

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
A model-theoretic analysis of knowledge

Journal of the ACM (JACM)
A dynamic logic of multiprocessing with incomplete information

POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monodic Epistemic Predicate Logic

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Common knowledge revisited

TARK '96 Proceedings of the 6th conference on Theoretical aspects of rationality and knowledge
Justified common knowledge

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Mechanizing common knowledge logic using COQ

Annals of Mathematics and Artificial Intelligence
Justified and Common Knowledge: Limited Conservativity

LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
The interaction with incomplete knowledge bases: a formal treatment

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
A guide to the modal logics of knowledge and belief: preliminary draft

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A model-theoretic analysis of monotonic knowledge

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Formal Analysis of an Airplane Accident in $N{\it \Sigma}$-Labeled Calculus

AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Generalized modal satisfiability

Journal of Computer and System Sciences
Dealing with logical omniscience: Expressiveness and pragmatics

Artificial Intelligence
Generalized modal satisfiability

STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Meta-Queries on Deductive Databases

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Another language for expressing "knowing that" is given together with axioms and rules of inference and a Kripke type semantics. The formalism is extended to time-dependent knowledge. Completeness and decidability theorems are given. The problem of the wise men with spots on their foreheads and the problem of the unfaithful wives are expressed in the formalism and solved.