First steps towards probabilistic justification logic

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

zbMATH Keywords

completenesssoundnessprobability logicjustification logicprobabilistic justiciationsuncertain justifications

Mathematics Subject Classification ID

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