Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. (English) Zbl 1159.68360 Fundam. Inform. 85, No. 1-4, 1-17 (2008). MSC: 68N01 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{G. Mirkowska} et al., Fundam. Inform. 85, No. 1--4, 1--17 (2008; Zbl 1159.68360)
Mirkowska, G.; Salwicki, A. Algorithmic logic. (English) Zbl 0648.03018 Dordrecht etc.: D. Reidel Publishing Company, a member of the Kluwer Academic Publishers Group; Warszawa: PWN - Polish Scientific Publishers. XI, 372 p.; Dfl. 185.00; $ 79.00; £55.25 (1987). Reviewer: N.Curteanu MSC: 03B70 68Q65 03-02 68-02 03B45 68W99 PDF BibTeX XML
Mirkowska, G.; Stapp, L. Algorithmic logic can express progressive behavior of programs. (English) Zbl 0601.03007 Algebra, combinatorics and logic in computer science, Colloq. Györ/Hung. 1983, Vol. 2, Colloq. Math. Soc. János Bolyai 42, 615-622 (1986). MSC: 03B70 68Q60 03B45 PDF BibTeX XML
Mirkowska, Grażyna On a certain property not expressible in PAL. (English) Zbl 0589.68028 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 343-348 (1984). Reviewer: L.Brim MSC: 68Q65 03B45 03B60 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 343--348 (1984; Zbl 0589.68028)
Mirkowska, Grazyna On the propositional algorithmic theory of arithmetic. (English) Zbl 0541.68012 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 166-185 (1983). Reviewer: H.Nishimura MSC: 68Q65 03D20 68Q60 03B60 PDF BibTeX XML
Mirkowska, Grażyna Multimodal logic as a base of algorithmic logic. (English) Zbl 0533.03004 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 65-68 (1983). Reviewer: H.Nishimura MSC: 03B45 68Q65 PDF BibTeX XML Cite \textit{G. Mirkowska}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 65--68 (1983; Zbl 0533.03004)
Mirkowska, Grazyna The representation theorem for algorithmic algebras. (English) Zbl 0501.03043 Logics of programs, Workshop Yorktown Heights/NY 1981, Lect. Notes Comput. Sci. 131, 300-310 (1982). MSC: 03G25 68Q65 PDF BibTeX XML
Mirkowska, G. Algorithmic logic with nondeterministic programs. (English) Zbl 0494.68031 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 547-560 (1981). MSC: 68Q65 68Q60 03B60 03B45 PDF BibTeX XML
Mirkowska, Grazyna PAL - Propositional algorithmic logic. (English) Zbl 0494.68030 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 675-760 (1981). MSC: 68Q65 03B60 68N01 68Q60 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 675--760 (1981; Zbl 0494.68030)
Mirkowska, Grazyna PAL - propositional algorithmic logic. (English) Zbl 0487.03012 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 23-101 (1981). MSC: 03B60 68Q65 03B45 68N01 PDF BibTeX XML
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna The deducibility problem in propositional dynamic logic. (English) Zbl 0469.68041 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 12-92 (1981). MSC: 68Q65 03B45 03D15 68N01 PDF BibTeX XML
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna The deducibility problem in propositional dynamic logic. (English) Zbl 0466.68024 Automata, languages and programming, 8th Colloq., Acre (Akko)/Isr. 1981, Lect. Notes Comput. Sci. 115, 238-248 (1981). MSC: 68Q65 03B45 03D15 68N01 PDF BibTeX XML
Mirkowska, Grazyna On the propositional algorithmic logic. (English) Zbl 0438.68002 Mathematical foundations of computer science, Proc. 8th Symp., Olomouc/Czech. 1979, Lect. Notes Comput. Sci. 74, 381-389 (1979). MSC: 68Q65 68Q60 03B45 03B60 PDF BibTeX XML
Mirkowska, Grazyna Algorithmic logic and its applications in the theory of programs. II. (English) Zbl 0384.68010 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 147-165 (1977). MSC: 68N01 68Q65 03B60 68W99 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 147--165 (1977; Zbl 0384.68010)
Mirkowska, Grazyna Algorithmic logic and its applications in the theory of programs. I. (English) Zbl 0358.68036 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 1-17 (1977). MSC: 68N01 03B99 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 1--17 (1977; Zbl 0358.68036)
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. (English) Zbl 0358.68035 Math. Found. Comput. Sci., Banach Cent. Publ. 2, 7-99 (1977). MSC: 68N01 68W99 03B05 03B10 PDF BibTeX XML Full Text: Link EuDML
Mirkowska, G. Herbrand theorem in the algorithmic logic. (English) Zbl 0343.68015 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 22, 539-543 (1974). MSC: 68N01 03D99 03F99 PDF BibTeX XML Cite \textit{G. Mirkowska}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 22, 539--543 (1974; Zbl 0343.68015)
Mirkowska, G. On formalized systems of algorithmic logic. (English) Zbl 0222.02010 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 19, 421-428 (1971). MSC: 03B99 PDF BibTeX XML Cite \textit{G. Mirkowska}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 19, 421--428 (1971; Zbl 0222.02010)