First steps towards probabilistic justification logic
From MaRDI portal
Publication:4644527
DOI10.1093/jigpal/jzv025zbMath1405.03057OpenAlexW2271730576MaRDI QIDQ4644527
Thomas Studer, Petar Maksimović, Ioannis Kokkinis, Zoran Ognjanović
Publication date: 8 January 2019
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://boris.unibe.ch/70718/1/version12.pdf
completenesssoundnessprobability logicjustification logicprobabilistic justiciationsuncertain justifications
Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48)
Related Items
Explicit non-normal modal logic ⋮ A logic of interactive proofs ⋮ Probability logics for reasoning about quantum observations ⋮ Conditional obligations in justification logic ⋮ Justification logic with confidence ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Logics with Probability Operators ⋮ Justification Logics with Probability Operators