أرسل هذا في رسالة قصيرة: First-order dynamic logic /