Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/krynicki

Michał Krynicki (krynicki)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Guzicki, Wojciech and Krynicki, Michał. 2008. Witness Quantifiers and 0-1 Laws.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 92–105. Amsterdam: IOS Press.
    Krynicki, Michał. 1979. On the Expressive Power of the Language Using the Henkin Quantifier.” in, pp. 259–266.
    Krynicki, Michał. 1995a. Relational Quantifiers. Warszawa: Polska Akademia Nauk, Instytut Matematyczny.
    Krynicki, Michał. 1995b. Quantifiers Determined by Classes of Binary Relations.” in Quantifiers: Logic, Models, and Computation. Volume Two: Contributions, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 125–138. Synthese Library n. 249. Dordrecht: Kluwer Academic Publishers.
    Krynicki, Michał and Mostowski, Marcin. 1995a. Quantifiers, Some Problems and Ideas.” in Quantifiers: Logic, Models, and Computation. Volume One: Surveys, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 1–19. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
    Krynicki, Michał and Mostowski, Marcin. 1995b. Henkin Quantifiers.” in Quantifiers: Logic, Models, and Computation. Volume One: Surveys, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 193–262. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
    Krynicki, Michał, Mostowski, Marcin and Szczerba, Lesław W., eds. 1995a. Quantifiers: Logic, Models, and Computation. Volume One: Surveys. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
    Krynicki, Michał, Mostowski, Marcin and Szczerba, Lesław W., eds. 1995b. Quantifiers: Logic, Models, and Computation. Volume Two: Contributions. Synthese Library n. 249. Dordrecht: Kluwer Academic Publishers.
    Krynicki, Michał and Tuschik, Hans Peter. 1991. An Axiomatization of the Logic with the Rough Quantifier.” The Journal of Symbolic Logic 56: 608–617.