Multi-agent Justification Logic: communication and evidence elimination

This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent e...

Full description

Saved in:
Bibliographic Details
Published in:Synthese (Dordrecht) 2012-04, Vol.185 (Suppl 1), p.43-82
Main Author: Renne, Bryan
Format: Article
Language:English
Subjects:
Communication
Computer science
Dynamic epistemic logic
Education
Empirical evidence
Epistemic justification
Epistemology
Epistemology. Philosophy of science. Theory of knowledge
Induction assumption
Inductive reasoning
Interpersonal communication
Justified beliefs
Logic
Logical proofs
Logical theorems
Metaphysics
Philosophy
Philosophy of Language
Philosophy of Science
Reasoning
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.
ISSN:0039-7857
1573-0964
DOI:10.1007/s11229-011-9968-7