A logic of plausible justifications
DOI10.1016/J.TCS.2015.07.018zbMATH Open1331.03023OpenAlexW1507198272MaRDI QIDQ744992FDOQ744992
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
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
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)
Cites Work
- Modal logic
- A mathematical introduction to logic.
- Dynamic Epistemic Logic and Knowledge Puzzles
- Dynamic logic for belief revision
- Title not available (Why is that?)
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
- Explicit provability and constructive semantics
- The logic of proofs, semantically
- Dynamic logic of preference upgrade
- Introducing Justification into Epistemic Logic
- Multi-agent justification logic: communication and evidence elimination
- Dynamic logics of evidence-based beliefs
- Interacting explicit evidence systems
- A quantified logic of evidence
- Justified common knowledge
- Public communication in justification logic
- A Logic of Plausible Justifications
- Title not available (Why is that?)
Cited In (6)
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)
