A logic of plausible justifications

DOI10.1016/j.tcs.2015.07.018zbMath1331.03023OpenAlexW1507198272MaRDI QIDQ744992

L. Menasché Schechter

Publication date: 12 October 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2015.07.018

zbMATH Keywords

multi-agent systemsepistemic logicaxiomatic systemjustificationsplausibility models

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (1)

Justification Logics with Probability Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-agent justification logic: communication and evidence elimination
• Dynamic logics of evidence-based beliefs
• The logic of proofs, semantically
• Interacting explicit evidence systems
• A quantified logic of evidence
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• A Logic of Plausible Justifications
• Public communication in justification logic
• Introducing Justification into Epistemic Logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

This page was built for publication: A logic of plausible justifications