A logic of plausible justifications

DOI10.1016/J.TCS.2015.07.018MaRDI QIDQ744992zbMATHOpenAlexFDO

Authors 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) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• A logic of plausible justifications
• scientific article; zbMATH DE number 1923157
• scientific article; zbMATH DE number 408801
• Verification of the logic of plausible reasoning
• The logic of justification
• The Logic of Justification
• scientific article; zbMATH DE number 2089442
• scientific article; zbMATH DE number 4119315
• A justification logic for argument evaluation
• Justification Logic

Cites work

• scientific article; zbMATH DE number 1999226 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• A logic of plausible justifications
• A mathematical introduction to logic.
• A quantified logic of evidence
• Conditional doxastic models: a qualitative approach to dynamic 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
• Interacting explicit evidence systems
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Modal logic
• Multi-agent justification logic: communication and evidence elimination
• Public communication in justification logic
• The logic of proofs, semantically

Cited in

(8)

• The Logic of Justification
• In defence of a logic for ‘because’
• Justification logic with confidence
• A logic of plausible justifications
• A LOGIC OF JUSTIFICATION AND TRUTHMAKING
• scientific article; zbMATH DE number 1923157 (Why is no real title available?)
• Argument evaluation in multi-agent justification logics
• Justification Logics with Probability Operators

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744992)