Bir önermenin modalitesi (zorunluluk, olasılık) ile ilgili çıkarımlar yapabilmek için hangi mantık türü daha uygundur?
