31 citations · 181 across the 22 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019★ 3 cited
Statistical Epistemic Logic
Yusuke Kawamoto
We introduce a modal logic for describing statistical knowledge, which we call statistical epistemic logic. We propose a Kripke model dealing with probability distributions and sto…
cs.LO2019★ 8 cited
Towards Logical Specification of Statistical Machine Learning
Yusuke Kawamoto
We introduce a logical approach to formalizing statistical properties of machine learning. Specifically, we propose a formal model for statistical classification based on a Kripke…