Joanna Golińska-Pilarek

Professional Activities

Projects I am or have been involved in

2012/2017 Logics for Qualitative Reasoning, grant MAESTRO 1 nr 2011/02/A/HS1/00395 funded by the National Science Center (NCN), grant holder: Joanna Golińska-Pilarek, Institute of Philosophy, University of Warsaw, Poland
2015/2018 Formal Theories of Truth, grant OPUS nr 2014/13/B/HS1/02892 funded by the National Science Center (NCN), grant holder: Cezary Cieśliński, Institute of Philosophy, University of Warsaw, Poland
2013/2014 Logic of Language Experience, grant OPUS nr 2011/03/B/HS1/04580 funded by the National Science Center (NCN), grant holder: Prof. Andrzej Grzegorczyk and Konrad Zdanowski, Institute of Philosophy, University of Warsaw, Poland
Feb-Sep 2012 Model Theory and Applications of Non-Fregean Logics, Polish Ministry of Science and Higher Education grant "Mobility Plus" 610/MOB/2011/0, grant holder: Joanna Golińska-Pilarek, Department of Mathematics and Statistics, University of Helsinki, Finland
2011 Relational Decision Procedures, Polish Ministry of Science and Higher Education grant "Iuventus Plus" IP2010 010170, grant holder: Joanna Golińska-Pilarek, Institute of Philosophy, University of Warsaw, Poland
2010/2011 FEAST: Foundations and Extensions of Answer Set Programming Technology, Spanish Ministry of Science and Innovation MICINN TIN2009-14562-C05-01, a coordinated project with the Universities of Málaga, La Coruna, Cadiz and the Rey Juan Carlos University, Madrid
2008/2009 Semantical Considerations in Non-classical Logics Applied in Approximate Reasoning, Polish Ministry of Science and Higher Education N N206 399134, grant holder: prof. A. Szałas, Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Poland
2008/2009 Logics, Deduction and Programming for Intelligent Systems, Spanish Ministry of Science and Innovation MICINN TIN2006-15455-C03-01, a coordinated project with the Universities of Málaga and La Coruna
2005/2006 INTAS European project Algebraic and Deduction Methods in Non-Classical Logics and their Applications to Computer Science
2004/2005 EU COST Action 274 TARSKI, Theory and Applications of Relational Structures as Knowledge Instruments the work area WA1 Algebraic and Logical Foundations of `Real World’ Relations

Presentations at international conferences and other scientific talks

2015 Towards a non-Fregean axiomatic theory of truth, 15th Congress of Logic, Methodology and Philosophy of Science CLMPS’15, 3-8 August 2015, Helsinki, Finland (co-authored with and presented by T. Huuskonen)
2014 On dual tableau-based decision procedures for relational fragments, the Workshop on Automated Deduction: Decidability, Complexity, Tractability ADDCT’14, 18 July 2014 Vienna, affiliated with IJCAR 2014 and RTA 2014, Vienna Summer of Logic, 9-24 July 2014; (co-authored with D. Cantone and M. Nicolosi Asmundo, presented by M. Nicolosi Asmundo)
2014 Grzegorczyk's non-Fregean logics, Trends in Logic XIV, ∃ntia et Nomin∀ Workshop, Ghent University, Belgium, 8-11 July 2014 (co-authored with and presented by T. Huuskonen)
2014 A relational dual tableau decision procedure for multimodal and description logics, 9th International Conference on Hybrid Artificial Intelligence Systems HAIS’14, Salamanca, Spain, 11-13 June 2014 (co-authored with D. Cantone and M. Nicolosi Asmundo, presented by M. Nicolosi Asmundo)
2013 Relational Dual Tableaux: Foundations and Applications, invited tutorial, 28th Italian Conference on Computational Logic, Catania, Italy
2013 Deterministic tableau-decision procedure via reductions for modal logic K, 6th International Conference on Computational Intelligence in Security for Information Systems, CISIS 2013, Salamanca, Spain (co-authored with and presented by E. Munoz-Velasco)
2012 On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility, 13th European Conference on Logics in Artificial Intelligence JELIA'2012, Toulouse, France
2012 Reasoning with qualitative velocity. Towards a hybrid approach, International Conference on Hybrid Artificial Intelligence Systems HAIS'2012, Salamanca, Spain (co-authored with and presented by E. Munoz-Velasco)
2011 Non-Fregean logics, invited talk, Department of Applied Mathematics, University of Malaga, Spain
2011 Reasoning with qualitative velocity, 22th International Joint Conference on Artificial Intelligence: Workshop on Qualitative Reasoning, Barcelona, Spain (co-authored with E. Munoz-Velasco)
2010 A front-end for theorem proving with modal logics, 10th International Conference Computational and Mathematical Methods in Science and Engineering, Almeria, Andalucía, Spain (co-authored with and presented by A. Mora Bonilla, E. Munoz-Velasco, and S. Martin)
2010 Information logics and their dual tableaux, Third Indian School on Logic and its Applications, ISLA 2010, University of Hyderabad, Gachibowli, India
2009 Decision procedure for modal logic K, 9th International Conference Computational and Mathematical Methods in Science and Engineering, Gijon, Spain (co-authored with and presented by A. Mora Bonilla and E. Munoz-Velasco)
2008 An ATP of a relational proof system for order of magnitude reasoning, Tenth Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam (co-authored with and presented by A. Mora Bonilla and E. Munoz-Velasco)
2008 Relational logics, invited talk, seminar of the Department of Applied Mathematics, University of Malaga, Spain
2007 Relational reasoning in Formal Concept Analysis, IEEE International Conference on Fuzzy Systems, Special Session ‘Relational Data Analysis’, London, UK (co-authored with E. Orłowska)
2006 Relational proof systems for interval temporal logics, INTAS Workshop Algebraic and Deduction Methods in Non-Classical Logics and their Applications to Computer Science, Olsztyn, Poland (co-authored with D. Bresolin and E. Orłowska)
2005 Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI, Trends in Logic III, International Conference in memoriam of A. Mostowski, H. Rasiowa, C. Rauszer, Warszawa-Ruciane-Nida, Poland
2005 Dual tableaux, Workshop of EU COST Action 274 TARSKI Theory and Application on Relational Structures as Knowledge Instruments, Bangor near Belfast, Nordirland, UK (co-authored with and presented by E. Orłowska)
2003 Number of extensions of non-Fregean logics, Logic Colloquium'03, Helsinki, Finland (co-authored with and presented by T. Huuskonen)
2001 On which operations are spectra of formulae with Henkin quantifiers closed?, 13th European Summer School in Logic, Language and Information, Helsinki, Finland
1999 Henkin quantifiers, Polish-Finnish Logical Workshop, University of Helsinki, Helsinki, Finland
1999 Some special spectra of formulae with Henkin quantifiers, 11th International Congress of Logic, Methodology and Philosophy of Science, Kraków, Poland (co-authored with K. Zdanowski)

Presentations at Polish conferences (in Polish)

2013 Logika równoznaczności, 59 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków
2012 Logika równoważności opisowej, 58 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków
2012 O pewnych własnościach logiki równoważności opisowej, sesja naukowa dedykowana profesorowi Andrzejowi Grzegorczykowi z okazji 90. rocznicy urodzin, Wydział Matematyki i Informatyki, Uniwersytet Warszawski, Warszawa
2009 Alfred Tarski. Życie i Logika. Kalendarium, Centrum Kultury Żydowskiej, Kraków (presentation co-authored with M. Srebrny) slides
2009 Szlakiem Alfreda Tarskiego po Warszawie, promocja polskiego wydania książki A. Burdman-Feferman i Solomona Fefermana Alfred Tarski. Life and Logic, Biblioteka Uniwersytetu Warszawskiego, Warszawa (presentation co-authored with J. Porębska-Srebrna and M. Srebrny) slides
2007 Weryfikacja prawdziwości w modelach skończonych, 53 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków
2005 O dualności dwóch systemów dowodowych dla logiki 1-go rzędu z identycznością, 51 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków
2004 O pewnym przekładzie niefregowskiego rachunku zdań z kwantyfikatorami, 50 Konferencja Historii Logiki, Uniwersytet Jagielloński, Kraków
2004 O pewnych rozszerzeniach niefregowskiego rachunku zdań, VII Polski Zjazd Filozoficzny, Sekcja Logika, Szczecin
2000 Kwantyfikatory rozgałęzione a problem formy logicznej, IV Warsztaty Logiki, Informatyki i Filozofii Nauki “Tarski versus Hilbert”, Zakopane
2000 Platonizm Gödla w filozofii matematyki i jego założenia ontologiczne, konferencja Platonizm wczoraj i dziś, Katedra Logiki Uniwersytetu w Białymstoku

Conference Committee Memberships

Refereeing

I have been doing refereeing for international journals:
  • Bulletin of the Section of Logic
  • Filozofia Nauki
  • International Journal of Computer Mathematics
  • Journal of Language Modelling
  • Reports on Mathematical Logic
  • Studia Logica
and for conferences:
  • European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'2007, ECSQARU'2008)
  • Relational Methods in Computer Science (RelMiCS'2008, RelMiCS'2009)
  • Joint Rough Set Symposium (JRS'2012)

Professional associations

I am a member of the Polish Association for Logic and Philosophy of Science and of the Association for Symbolic Logic.