Probabilistic justification logic

DOI10.1093/logcom/exaa011OpenAlexW3149338148WikidataQ126406679 ScholiaQ126406679MaRDI QIDQ5108025

Thomas Studer, Ioannis Kokkinis, Zoran Ognjanović

Publication date: 29 April 2020

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/146066/

zbMATH Keywords

decidabilityjustification logicstrong completenesslottery paradoxprobabilistic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)

Related Items

A logic of interactive proofs ⋮ Logics with Probability Operators ⋮ Justification Logics with Probability Operators