Justification logic with approximate conditional probabilities

DOI10.1007/978-3-662-55665-8_52zbMath1495.03024OpenAlexW2748932397MaRDI QIDQ1679821

Zoran Ognjanović, Thomas Studer, Nenad Savić

Publication date: 22 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-662-55665-8_52

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, Justification logic with confidence, The complexity of satisfiability in non-iterated and iterated probabilistic logics, Logics with Probability Operators, Justification Logics with Probability Operators