Geodesic
O dynamické logice
Kybernetika, Tome 16 (1980), pp. 1-41
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B45, 03B60, 68C01, 68Q60, 68Q65 
@article{KYB_1980_16_Suppl_a0,
     author = {H\'ajek, Petr and Kal\'a\v{s}ek, Pavel and K\r{u}rka, Petr},
     title = {O dynamick\'e logice},
     journal = {Kybernetika},
     pages = {1--41},
     year = {1980},
     volume = {16},
     number = {Suppl},
     mrnumber = {601699},
     zbl = {0473.03023},
     language = {cs},
     url = {http://geodesic.mathdoc.fr/item/KYB_1980_16_Suppl_a0/}
}
TY  - JOUR
AU  - Hájek, Petr
AU  - Kalášek, Pavel
AU  - Kůrka, Petr
TI  - O dynamické logice
JO  - Kybernetika
PY  - 1980
SP  - 1
EP  - 41
VL  - 16
IS  - Suppl
UR  - http://geodesic.mathdoc.fr/item/KYB_1980_16_Suppl_a0/
LA  - cs
ID  - KYB_1980_16_Suppl_a0
ER  - 
%0 Journal Article
%A Hájek, Petr
%A Kalášek, Pavel
%A Kůrka, Petr
%T O dynamické logice
%J Kybernetika
%D 1980
%P 1-41
%V 16
%N Suppl
%U http://geodesic.mathdoc.fr/item/KYB_1980_16_Suppl_a0/
%G cs
%F KYB_1980_16_Suppl_a0
Hájek, Petr; Kalášek, Pavel; Kůrka, Petr. O dynamické logice. Kybernetika, Tome 16 (1980), pp. 1-41. http://geodesic.mathdoc.fr/item/KYB_1980_16_Suppl_a0/

[1] M. J. Fisher R. E. Ladner: Propositional modal logic of programs. Proc. 9th Annual ACM Symp., Boulder 1977, 286-294.

[2] D. Harel: First order dynamic logic. (Lecture Notes in Computer Science Vol. 68.) Springer-Verlag, Berlin-Heidelberg-New York 1979. | MR | Zbl

[3] D. Harel A. R. Meyer V. R. Pratt: Computability and completeness in logics of programs. Proc. 9th Annual ACM Symp., Boulder 1977, 261-268. | MR

[4] D. Harel V. R. Pratt: Nondeterminism in logics of programs. Proc. 5th ACM Symp. on Principles of Programming Languages, Tucson, Ariz. 1978, 203-213.

[5] D. Litvintchouk V. R. Pratt: A proof-checker for dynamic logic. Proc. 5th IJCAI, Boston 1978, 552-558.

[6] R. Parikh: A completeness result for propositional dynamic logic. MFCS 1978, J. Winkowski (ed.). (Lect. Notes in Comp. Sci. 64.) Springer-Verlag, Berlin-Heidelberg-New York 1978, 405-116.

[7] R. Parikh: A decidability result for second order process logic. Preprint MIT/LCS/TM-112 (1978). | MR

[8] V. R. Pratt: Semantic considerations of Floyd-Hoare logic. Proc. 17th IEEE Symp. on Found, of Comp. Sci. (1976), 109-121. | MR

[9] V. R. Pratt: Six lectures on dynamic logic. Preprint MIT/LCS/TM-117 (1978). | MR

[10] V. R. Pratt: A near-optimal method for reasoning about action. Preprint MIT/LCS/TM-113 (1978). | MR

[11] H. Rasiowa: Algorithmic logic. Prace IPI PAN 281, Warszawa 1977. | Zbl

[12] A. Salwicki: Formalized algorithmic languages. Bull. Acad. Polon. Sci., Ser. Math., Phys. Astron. 18 (1970), 227-232. | MR | Zbl

[13] P. Hájek P. Kůrka: A second order dynamic logic with array assignments. (Zaslano do tisku.)