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

Lauri Hella (hella)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Hella, Lauri and Kuusisto, Antti. 2014. One-Dimensional Fragment of First-order Logic.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 274–293. London: King’s College Publications.
    Hella, Lauri and Luosto, Kerkko. 1995. Finite Generation Problem and \(n\)-ary Quanfifiers.” in Quantifiers: Logic, Models, and Computation. Volume One: Surveys, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 63–104. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
    Hella, Lauri, Luosto, Kerkko, Sano, Katsuhiko and Virtema, Jonni. 2014. The Expressive Power of Modal Dependence Logic.” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 294–312. London: King’s College Publications.
    Hella, Lauri and Sandu, Gabriel. 1995. Partially Ordered Connectives and Finite Graphs.” in Quantifiers: Logic, Models, and Computation. Volume Two: Contributions, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 79–88. Synthese Library n. 249. Dordrecht: Kluwer Academic Publishers.
    Hella, Lauri and Väänänen, Jouko. 2015. The Size of a Formula as a Measure of Complexity.” in Logic without Borders. Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, pp. 193–214. Ontos Mathematical Logic n. 5. Berlin: de Gruyter.
    Hella, Lauri, Väänänen, Jouko and Westerståhl, Dag. 1997. Definability of Polyadic Lifts of Generalized Quantifiers.” Journal of Logic, Language, and Information 6(3): 305–355.
    Hella, Lauri and Vilander, Miikka. 2016. The Succinctness of First-Order Logic over Modal Logic via a Formula Size Game.” in Advances in Modal Logic, volume XI, edited by Lev D. Beklemishev, Stéphane Demri, and András Maté, pp. 401–419. London: King’s College Publications.