Probabilistic Stit Logic (Q3011971)

From MaRDI portal