Previous |  Up |  Next


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:
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.)


Files Size Format View
Kybernetika_16-1980-7_1.pdf 3.475Mb application/pdf View/Open
Back to standard record
Partner of
EuDML logo