| Title:
|
O dynamické logice (Czech) |
| Title:
|
On dynamic logic (English) |
| Author:
|
Hájek, Petr |
| Author:
|
Kalášek, Pavel |
| Author:
|
Kůrka, Petr |
| Language:
|
Czech |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
16 |
| Issue:
|
7 |
| Year:
|
1980 |
| Pages:
|
(1),3-41 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B45 |
| MSC:
|
03B60 |
| MSC:
|
68C01 |
| MSC:
|
68Q60 |
| MSC:
|
68Q65 |
| idZBL:
|
Zbl 0473.03023 |
| idMR:
|
MR601699 |
| . |
| Date available:
|
2009-09-24T17:18:13Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/124858 |
| . |
| Reference:
|
[1] M. J. Fisher R. E. Ladner: Propositional modal logic of programs.Proc. 9th Annual ACM Symp., Boulder 1977, 286-294. |
| Reference:
|
[2] D. Harel: First order dynamic logic.(Lecture Notes in Computer Science Vol. 68.) Springer-Verlag, Berlin-Heidelberg-New York 1979. Zbl 0403.03024, MR 0567695 |
| Reference:
|
[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 0495101 |
| Reference:
|
[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. |
| Reference:
|
[5] D. Litvintchouk V. R. Pratt: A proof-checker for dynamic logic.Proc. 5th IJCAI, Boston 1978, 552-558. |
| Reference:
|
[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. |
| Reference:
|
[7] R. Parikh: A decidability result for second order process logic.Preprint MIT/LCS/TM-112 (1978). MR 0539839 |
| Reference:
|
[8] V. R. Pratt: Semantic considerations of Floyd-Hoare logic.Proc. 17th IEEE Symp. on Found, of Comp. Sci. (1976), 109-121. MR 0502164 |
| Reference:
|
[9] V. R. Pratt: Six lectures on dynamic logic.Preprint MIT/LCS/TM-117 (1978). MR 0682417 |
| Reference:
|
[10] V. R. Pratt: A near-optimal method for reasoning about action.Preprint MIT/LCS/TM-113 (1978). MR 0574593 |
| Reference:
|
[11] H. Rasiowa: Algorithmic logic.Prace IPI PAN 281, Warszawa 1977. Zbl 0386.03009 |
| Reference:
|
[12] A. Salwicki: Formalized algorithmic languages.Bull. Acad. Polon. Sci., Ser. Math., Phys. Astron. 18 (1970), 227-232. Zbl 0198.02801, MR 0270852 |
| Reference:
|
[13] P. Hájek P. Kůrka: A second order dynamic logic with array assignments.(Zaslano do tisku.) |
| . |
