Active Agents

Authors:
Vincent F. Hendricks
Affiliations:
Department of Philosophy and Science Studies, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark/ E-mail: vincent@ruc.dk
Venue:
Journal of Logic, Language and Information
Year:
2003

Citing 5
Cited 5

Logic and representation

Logic and representation
Reasoning about knowledge

Reasoning about knowledge
Knowledge representation: logical, philosophical and computational foundations

Knowledge representation: logical, philosophical and computational foundations
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge

Logic and the Dynamics of Information

Minds and Machines
On epistemic logic with justification

TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Justified common knowledge

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Justification Logic

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Logical omniscience via proof complexity

CSL'06 Proceedings of the 20th international conference on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

The purpose of this survey is twofold: (1) to place some centralthemes of epistemic logic in a general epistemological context,and (2) to outline a new framework for epistemic logic developedjointly with S. Andur Pedersen unifying some key ``mainstream''epistemological concerns with the ``formal'' epistemologicalapparatus.