TY - JOUR T1 - Dynamická logika JF - Organon F Y1 - 2000 A1 - Peregrin, Jaroslav IS - 3 VL - 7 SP - 338-348 UR - http://www.klemens.sav.sk/fiusav/doc/organon/2000/3/338-348.pdf U2 - Views U3 - 338348 TI - The Dynamic Logic ER -