A guide to the modal logics of knowledge and belief: preliminary draft

Authors:
Joseph Y. Halpern;Yoram Moses
Affiliations:
IBM Research Laboratory, San Jose, CA;Computer Science Department, Stanford University, Stanford, CA and IBM Research Laboratory, San Jose, CA
Venue:
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Year:
1985

Citing 9
Cited 15

Decision procedures and expressiveness in the temporal logic of branching time

Journal of Computer and System Sciences
An internal semantics for modal logic

STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
The complexity of theorem-proving procedures

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

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Knowledge, common knowledge and related puzzles (Extended Summary)

PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
On the model theory of knowledge

On the model theory of knowledge
Cryptographic protocols

Cryptographic protocols
Models of program logics

SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science

Interpolation in Modal Logic

AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
A metalogic programming approach to reasoning about time in knowledge bases

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Multi-agent cooperative reasoning using common knowledge and implicit knowledge

PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
All i know: an abridged report

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
All i know: an abridged report

AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Decidable reasoning in first-order knowledge bases with perfect introspection

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A hybrid framework for representing uncertain knowledge

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Logical task modelling for man-machine dialogue

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Approximate reasoning systems: a personal perspective

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Combining circumscription and modal logic

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
An axiomatic basis of trust in distributed systems

SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Logical omniscience via proof complexity

CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Towards controlled query evaluation for incomplete first-order databases

FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles

Applied Ontology - Formal Ontologies for Communicating Agents
A Default Logic Based On Epistemic States

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe an intelligent tutor for LISP programming. This tutor achieves a set of pedagogical objectives derived from Anderson's (1983) learning theory provide instruction in the context of problem-solving, have the student generate as much of each ...