Multi-agent justification logic: communication and evidence elimination
From MaRDI portal
(Redirected from Publication:375307)
Recommendations
Cites work
- scientific article; zbMATH DE number 1114348 (Why is no real title available?)
- scientific article; zbMATH DE number 5064947 (Why is no real title available?)
- A qualitative theory of dynamic interactive belief revision
- Dynamic Epistemic Logic and Knowledge Puzzles
- Dynamic logic for belief revision
- Dynamic logic of preference upgrade
- Dynamic logics of evidence-based beliefs
- Explicit provability and constructive semantics
- Inference and update
- Interacting explicit evidence systems
- Introducing Justification into Epistemic Logic
- Logics for epistemic programs
- Logics of communication and change
- Logics of public communications
- Modal logic
- Partial realization in dynamic justification logic
- Public and private communication are different: Results on relative expressivity
- Reasoning about information change
- Reasoning with Justifications
- Simple evidence elimination in justification logic
- The logic of justification
- The logic of proofs, semantically
- The logic of public announcements, common knowledge, and private suspicions
Cited in
(10)- On the Complexity of Two-Agent Justification Logic
- The logic of justified belief, explicit knowledge, and conclusive evidence
- A logic of knowing why
- Realizing public announcements by justifications
- A logic of plausible justifications
- A logic of plausible justifications
- Structured argumentation dynamics. Undermining attacks in default justification logic
- Tableaux and interpolation for propositional justification logics
- Public communication in justification logic
- Distributed knowledge justification logics
This page was built for publication: Multi-agent justification logic: communication and evidence elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375307)
