Գրեք սա: First-order dynamic logic /