Statistics of Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

Contact ORBilu