Partial Realization in Dynamic Justification Logic

DOI10.1007/978-3-642-20920-8_9zbMath1328.03014OpenAlexW1505165299MaRDI QIDQ3003345

Roman Kuznets, Thomas Studer, Samuel Bucheli

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)

Related Items (6)

Probabilistic Justification Logic ⋮ Update as Evidence: Belief Expansion ⋮ Multi-agent justification logic: communication and evidence elimination ⋮ Realizing public announcements by justifications ⋮ On non-self-referential fragments of modal logics ⋮ Justification Logics with Probability Operators

This page was built for publication: Partial Realization in Dynamic Justification Logic