On dynamic logic

Petr Hájek; Pavel Kalášek; Petr Kůrka

Kybernetika (1980)

  • Volume: 16, Issue: Suppl, page (1)-41
  • ISSN: 0023-5954

How to cite

top

Hájek, Petr, Kalášek, Pavel, and Kůrka, Petr. "O dynamické logice." Kybernetika 16.Suppl (1980): (1)-41. <http://eudml.org/doc/28013>.

@article{Hájek1980,
author = {Hájek, Petr, Kalášek, Pavel, Kůrka, Petr},
journal = {Kybernetika},
keywords = {correctness of programs; syntax; semantics; dynamic propositional calculus; dynamic predicate calculus; semantics of computational trees; recursion; array assignments},
language = {cze},
number = {Suppl},
pages = {(1)-41},
publisher = {Institute of Information Theory and Automation AS CR},
title = {O dynamické logice},
url = {http://eudml.org/doc/28013},
volume = {16},
year = {1980},
}

TY - JOUR
AU - Hájek, Petr
AU - Kalášek, Pavel
AU - Kůrka, Petr
TI - O dynamické logice
JO - Kybernetika
PY - 1980
PB - Institute of Information Theory and Automation AS CR
VL - 16
IS - Suppl
SP - (1)
EP - 41
LA - cze
KW - correctness of programs; syntax; semantics; dynamic propositional calculus; dynamic predicate calculus; semantics of computational trees; recursion; array assignments
UR - http://eudml.org/doc/28013
ER -

References

top
  1. M. J. Fisher R. E. Ladner, Propositional modal logic of programs, Proc. 9th Annual ACM Symp., Boulder 1977, 286-294. (1977) 
  2. D. Harel, First order dynamic logic, (Lecture Notes in Computer Science Vol. 68.) Springer-Verlag, Berlin-Heidelberg-New York 1979. (1979) Zbl0403.03024MR0567695
  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. (1977) MR0495101
  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. (1978) 
  5. D. Litvintchouk V. R. Pratt, A proof-checker for dynamic logic, Proc. 5th IJCAI, Boston 1978, 552-558. (1978) 
  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. (1978) 
  7. R. Parikh, A decidability result for second order process logic, Preprint MIT/LCS/TM-112 (1978). (1978) MR0539839
  8. V. R. Pratt, Semantic considerations of Floyd-Hoare logic, Proc. 17th IEEE Symp. on Found, of Comp. Sci. (1976), 109-121. (1976) MR0502164
  9. V. R. Pratt, Six lectures on dynamic logic, Preprint MIT/LCS/TM-117 (1978). (1978) MR0682417
  10. V. R. Pratt, A near-optimal method for reasoning about action, Preprint MIT/LCS/TM-113 (1978). (1978) MR0574593
  11. H. Rasiowa, Algorithmic logic, Prace IPI PAN 281, Warszawa 1977. (1977) Zbl0386.03009
  12. A. Salwicki, Formalized algorithmic languages, Bull. Acad. Polon. Sci., Ser. Math., Phys. Astron. 18 (1970), 227-232. (1970) Zbl0198.02801MR0270852
  13. P. Hájek P. Kůrka, A second order dynamic logic with array assignments, (Zaslano do tisku.) 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.