Partial realization in dynamic justification logic

DOI10.1007/978-3-642-20920-8_9MaRDI QIDQ3003345zbMATH OpenOpenAlexFDO

Authors Samuel Bucheli, Roman Kuznets, Thomas Studer

Publication date 27 May 2011

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-20920-8_9

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• Public communication in justification logic
• Realizing public announcements by justifications
• A new framework for justification logic
• Introducing Justification into Epistemic Logic
• Logics of proofs and justifications

Cited in

(13)

• Realizing public announcements by justifications
• Public communication in justification logic
• Update as evidence: belief expansion
• Temporalizing modal epistemic logic
• Justified terminological reasoning
• Multi-agent justification logic: communication and evidence elimination
• A new framework for justification logic
• Justification logic, inference tracking, and data privacy
• Justification Logics with Probability Operators
• On non-self-referential fragments of modal logics
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Probabilistic justification logic
• Exploring subset models for justification logic

This page was built for publication: Partial realization in dynamic justification logic

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