Joanna Golińska-Pilarek
Publications
Books
International refereed journal papers
- Non-Fregean propositional logic with quantifiers. Notre Dame Journal of Formal Logic 57(2), 2016, 249-279, available online February 9, 2016, doi: 10.1215/00294527-3470547 (co- authored with T. Huuskonen)
-
Tableau reductions: Towards an optimal decision procedure for the modal necessity. Journal of Applied Logic 17, 2016, 14-24, available online September 28, 2015, doi: 10.1016/j.jal.2015.09.005 (co- authored with E. Munoz-Velasco and A. Mora)
-
On the minimal non-Fregean Grzegorczyk logic. Studia Logica 104(2), 2015, 209-234, available online October 20, 2015, doi: 10.1007/s11225-015-9635-y
-
A hybrid qualitative approach for relative movements. Logic Journal of the IGPL 23(3), 2015, 410-420, available online April 4, 2015, doi: 10.1093/jigpal/jzv012 (co- authored with E. Munoz-Velasco)
-
An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ. Fundamenta Informaticae 135(4), 2014, 433-449, doi: 10.3233/FI-2014-1133 (co-authored with Linh Anh Nguyen)
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Annals of Pure and Applied Logic, 165(2), 2014, 409-427, available online 4 July 2013, pp. 28, doi: 10.1016/j.apal.2013.06.003 (co-authored with T. Huuskonen and E. Munoz-Velasco)
- Logic of Descriptions. A new approach to the foundations of
mathematics and science. Studies in Logic, Grammar and Rhetoric 27(40), 2012, 63–94, (co-authored with T. Huuskonen)
- Relational dual tableau decision procedure for modal logic K. Logic Journal of IGPL 20(4), 2012, 747–756, doi:10.1093/jigpal/jzr019 (co-authored with A. Mora and E. Munoz-Velasco)
- Implementing a relational theorem prover for modal logic K. International Journal of Computer Mathematics 88(9), 2011, 1869–1884, doi: 10.1080/00207160.2010.493211 (co-authored with A. Mora and E. Munoz-Velasco)
- A new deduction system for deciding validity in modal logic K. Logic Journal of IGPL 19(2), 2011, 425–434, doi:10.1093/jigpal/jzq033 (co-authored with E. Munoz-Velasco and A. Mora)
- Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets and Systems 162(1), 2011, 39–52, doi:10.1016/j.fss.2010.09.007 (co-authored with E. Orłowska)
- Relational approach for a logic for order of magnitude qualitative reasoning with negligibility non-closeness and distance. Logic Journal of IGPL 17(4), 2009, 375–394, doi: 10.1093/jigpal/jzp016 (co-authored with E. Munoz-Velasco)
- Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. International Journal of Computer Mathematics 86(10–11), 2009, 1707–1718, doi: 10.1080/00207160902930752 (co-authored with E. Munoz-Velasco)
- Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI. Journal of Applied Non-Classical Logics 17(4), 2007, 509–517, doi:10.3166/jancl.17.511-519
- Tableaux and Dual Tableaux: transformation of proofs. Studia Logica 85(3), 2007, 291–310, doi: 10.1007/s11225-007-9055-8 (co-authored with E. Orłowska)
- Relational proof systems for spatial reasoning. Journal of Applied Non-Classical Logics 16(3–4), 2006, 409 –431, doi:10.3166/jancl.16.409-431 (co-authored with E. Orłowska)
- Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics 16(3–4), 2006, 251–277, doi:10.3166/jancl.16.251-27> (co-authored with D. Bresolin and E. Orłowska)
- Number of non-Fregean sentential logics that have adequate models. Mathematical Logic Quarterly 52(5), 2006, 439–443, doi: 10.1002/malq.200510042
- Number of extensions of non-Fregean logics. Journal of Philosophical Logic 34(2), 2005, 193–206 (co-authored with T. Huuskonen)
Papers published in peer reviewed conference proceedings indexed in Web of Science or the DBLP Computer Science Bibliography, see here
- A relational dual tableau decision procedure for multimodal and description logic. A relational dual tableau decision procedure for multimodal and description logics. Lecture Notes in Computer Science 8480, 2014, 466–477, doi: 10.1007/978-3-319-07617-1_41 (co-authored with D. Cantone and M. Nicolosi Asmundo)
- Deterministic tableau-decision procedure via reductions for modal logic K. Advances in Intelligent Systems and Computing 239, 2014, 429–438, doi:10.1007/978-3-319-01854-6_44 (co-authored with E. Munoz-Velasco)
- An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ. In M.S. Szczuka, L. Czaja, and M. Kacprzak (eds.), Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, vol. 1032 of CEUR Workshop Proceedings, 2013, 296–308 (co-authored with L. Anh Nguyen)
- On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility. Lecture Notes in Computer Science 7519, 2012, 255–266 , doi: 10.1007/978-3-642-33353-8
- Reasoning with qualitative velocity: towards a hybrid approach. Lecture Notes in Computer Science 7208, 2012, 635–646, doi: 10.1007/978-3-642-28942-2 (co-authored with E. Munoz-Velasco)
- An ATP of a relational proof system for order of magnitude reasoning with negligibility, non-closeness and distance. Lecture Notes in Computer Science 5351, 2008, 128–139, doi: 10.1007/978-3-540-89197-0_15 (co-authored with A. Mora and E. Munoz-Velasco)
- Relational reasoning in Formal Concept Analysis. Published in: FUZZ-IEEE 2007, IEEE International Conference on Fuzzy Systems, Imperial College, London, 23-26 July, 2007, Proceedings, 1048–1053, doi: 10.1109/FUZZY.2007.4295512, (co-authored with E. Orłowska)
- Relational logics and their applications. Lecture Notes in Computer Science 4342, 2006, 125–161, doi: 10.1007/11964810_7 (co-authored with E. Orłowska)
Book chapters
- Logics of similarity and their dual tableaux. A survey. Published in: G. Della Riccia, D. Dubois, R. Kruse, and H-J. Lenz (eds.), Preferences and Similarities, CISM Courses and Lectures 504, SpringerWienNewYork 2008, 129–159 (co-authored with E. Orłowska)
- Spectra of formulae with Henkin quantifiers. Published in: A. Rojszczak, J. Cachro, G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science, Kluwer Academic Publishers, 2003, 29–45 (co-authored with K. Zdanowski)
International refereed conference papers
-
On dual tableau-based decision procedures for relational fragments. In Proceedings of the Workshop on Automated Deduction: Decidability, Complexity, Tractability ADDCT’14 (IJCAR’14 7th International Conference on Automated Reasoning, 18 July 2014 Vienna, Vienna Summer of Logic), 2014, 50–58 (co-authored with D. Cantone and M. Nicolosi Asmundo)
- Reasoning with Qualitative Velocity. Published in: Proceedings of the 25th International Workshop on Qualitative Reasoning, 34–41, 2011, (co-authored with E. Munoz-Velasco)
- Comparing different theorem provers for modal logic K. Published in: Proceedings of the 2011 International Conference Computational and Mathematical Methods in Science and Engineering, 836–845, 2011, ISBN 978-84-614-6167-7 (co-authored with A. Mora, E. Munoz-Velasco, and S. Martin)
- A front-end for theorem proving with modal logics. Published in: Proceedings of the 2010 International Conference Computational and Mathematical Methods in Science and Engineering, Vol. II, 658–663, 2010, ISBN 13 978-84-613-5510-5 (co-authored with A. Mora, E. Munoz-Velasco, and S. Martin)
- A new decision procedure for modal logic K. Published in: Proceedings of the 2009 International Conference Computational and Mathematical Methods in Science and Engineering, Vol. II, 537–548, 2009, ISBN 978-84-612-9727-6 (co-authored with A. Mora and E. Munoz-Velasco)
- RePMLK : A relational prover for modal logic K. Published in: Proceedings of the 2009 International Conference Computational and Mathematical Methods in Science and Engineering, Vol. III, 743–754, 2009, ISBN 978-84-612-9727-6 (co-authored with A. Mora and E. Munoz-Velasco)
- Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Published in: Proceedings of the 2008 International Conference Computational and Mathematical Methods in Science and Engineering, 291–305, 2008, ISBN 978-84-612-1982-7 (co-authored with E. Munoz-Velasco)
- On which operations are spectra of formulae with Henkin quantifiers closed? Published in: G. Sandu, M. Pauly (eds.), Logic and Games, ESSLLI’01, 95–104
Papers in Polish
- Perspektywy logiki niefregowskiej. Published in: J. Golińska-Pilarek, A. Wójtowicz (eds.), Identyczność znaku czy znak identyczności? Księga jubileuszowa dedykowana Profesorowi Mieczysławowi Omyle z okazji siedemdziesiątej rocznicy urodzin, Wydawnictwa Uniwersytetu Warszawskiego, Warszawa 2012, 21–38 (co-authored with: A. Wójtowicz)
- Matematyka według Gödla. Forum Logiki, Informatyki i Filozofii Nauki 3, 2000,
- Wybryki formalnej logiki. Etyka 32, 1999, 245–248; review of the book: T. Hołówka, Błędy. Spory. Argumenty
Popular science papers in Polish
- Król logiki. Rzeczpospolita, 4-5 kwietnia 2009, (co-authored with J. Porębska-Srebrna and M. Srebrny)
- Magiczne liczby w architekturze. Wiadomości Izby Projektowania Budowlanego 6, 2005
- Czego współczesny komputer nie potrafi szybko obliczyć? Wiadomości Izby Projektowania Budowlanego 11, 2003
- O możliwościach obliczeniowych współczesnych komputerów. Życie Świata 317, 2003, Wyd. AmerCom
Edited books
- Identyczność znaku czy znak identyczności? Księga jubileuszowa dedykowana Profesorowi Mieczysławowi Omyle z okazji siedemdziesiątej rocznicy urodzin, Wydawnictwa Uniwersytetu Warszawskiego, Warszawa 2012 (co-edited with: A. Wójtowicz)
Translations
- Alfred Tarski. Życie i logika, Wydawnictwa Akademickie i Profesjonalne, Warszawa, 2009, Polish translation of the book Alfred Tarski. Life and Logic written by Anita Burdman-Feferman i Solomon Feferman (co-translated with M. Srebrny)
- Aksjomatyczne teorie prawdy, Wydawnictwo Naukowe PWN, Warszawa, 2012, Polish translation of the book Axiomatic Theories of Truth written by Volker Halbach (co-translated with C. Cieśliński)