| ||
1. | Relational dual tableau decision procedures and their applications to modal and intuitionistic logics
[ LINK ]
ANNALS OF PURE AND APPLIED LOGIC Tom 165 Nr 2 r. 2014, str. 409-427 (Artyku³) Joanna Goliñska-Pilarek, Taneli Huuskonen, Emilio Munoz Velasco | |
2. | Relational dual tableau decision procedure for modal logic K
[ LINK ]
LOGIC JOURNAL OF THE IGPL Tom 20 Nr 4 r. 2012, str. 747-756 (Artyku³) Joanna Goliñska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla | |
3. | A new deduction system for deciding validity in modal logic K
[ LINK ]
LOGIC JOURNAL OF THE IGPL Tom 19 Nr 2 r. 2011, str. 425-434 (Artyku³) Joanna Goliñska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla | |
4. | Implementing a relational theorem prover for modal logic K
[ LINK ]
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS Tom 88 Nr 9 r. 2011, str. 1869-1884 (Artyku³) Joanna Goliñska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla | |
5. | Relational dual tableau decision procedure for modal logic K
[ LINK ]
LOGIC JOURNAL OF THE IGPL r. 2011, str. 1-10 (Artyku³) Joanna Goliñska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla | |
6. | Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS Nr 86(10/11) r. 2009, str. 1707-1718 (Artyku³) Joanna Goliñska-Pilarek, Emilio Munoz-Velasco | |
7. | Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
LOGIC JOURNAL OF THE IGPL Nr 17/4 r. 2009, str. 375-394 (Artyku³) Joanna Goliñska-Pilarek, Emilio Munoz-Velasco | |
8. | Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
JOURNAL OF APPLIED NON-CLASSICAL LOGICS Tom 17 Nr 4 r. 2007, str. 509-517 (Artyku³) Joanna Goliñska-Pilarek | |
9. | Tableaux and Dual Tableaux: Transformation of Proofs
STUDIA LOGICA. AN INTERNATIONAL JOURNAL FOR SYMBOLIC LOGIC Tom 85 Nr 3 r. 2007, str. 282-302 (Artyku³) Joanna Goliñska-Pilarek, Ewa Or³owska | |
10. | Number of non-Fregean sentential logics that have adequate models
MATHEMATICAL LOGIC QUARTERLY Tom 52 Nr 5 r. 2006, str. 439-443 (Artyku³) Joanna Goliñska-Pilarek | |
11. | Relational dual tableaux for interval temporal logics
JOURNAL OF APPLIED NON-CLASSICAL LOGICS Tom 16 Nr 3-4 r. 2006, str. 251-277 (Artyku³) Joanna Goliñska-Pilarek, Ewa Or³owska, David Bresolin | |
12. | Relational proof systems for spatial reasoning
JOURNAL OF APPLIED NON-CLASSICAL LOGICS Tom 16 Nr 3-4 r. 2006, str. 409-431 (Artyku³) Joanna Goliñska-Pilarek, Ewa Or³owska | |
13. | Number of Extensions of Non-Fregean Logics
JOURNAL OF PHILOSOPHICAL LOGIC Nr 34 r. 2005, str. 193-206 (Artyku³) Joanna Goliñska-Pilarek, Taneli Huuskonen | |
| ||
14. | Identyczno¶æ znaku czy znak identyczno¶ci? Ksiêga jubileuszowa dedykowana Profesorowi Mieczys³awowi Omyle z okazji siedemdziesi±tej rocznicy urodzin
[ LINK ]
Wydawnictwa Uniwersytetu Warszawskiego, r. 2012 (Ksi±¿ka) Joanna Goliñska-Pilarek (Redaktor), Anna Wójtowicz (Redaktor) | |
15. | Dual Tableaux: Foundations, Methodology, Case Studies
[ LINK ]
Springer, r. 2011 (Ksi±¿ka) Joanna Goliñska-Pilarek, Ewa Or³owska | |
16. | Alfred Tarski. ¯ycie i logika [przek³ad ksi±¿ki Alfred Tarski. Life and Logic]
Wydawnictwa Akademickie i Profesjonalne, r. 2009 (Ksi±¿ka) Joanna Goliñska-Pilarek (T³umacz), Marian Srebrny (T³umacz) | |
| ||
17. | Deterministic tableau-decision procedure via reductions for modal logic K
[ LINK ]
w: International Joint Conference SOCO’13-CISIS’13-ICEUTE’13, str. 429-438, Springer International Publishing, r. 2014 (Artyku³) Joanna Goliñska-Pilarek, Emilio Munoz Velasco, Angel Mora | |
18. | An ExpTime tableau method for dealing with nominals and quantified number restrictions in deciding the Description Logic SHOQ
[ LINK ]
w: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland [eds. M.S. Szczuka, L. Czaja, M. Kacprzak], str. 296-308, Bia³ystok University of Technology, r. 2013 (Artyku³) Joanna Goliñska-Pilarek, Linh Anh Nguyen | |
19. | On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility
[ LINK ]
w: Logics in Artificial Intelligence, str. 255-266, Springer, r. 2012 (Artyku³) Joanna Goliñska-Pilarek | |
20. | Perspektywy logiki niefregowskiej
w: Identyczno¶æ znaku czy znak identyczno¶ci? Ksiêga jubileuszowa dedykowana Profesorowi Mieczys³awowi Omyle z okazji siedemdziesi±tej rocznicy urodzin [red. J. Goliñska-Pilarek, A. Wójtowicz], str. 21-38, Wydawnictwa Uniwersytetu Warszawskiego, r. 2012 (Artyku³) Joanna Goliñska-Pilarek, Anna Wójtowicz | |
21. | Reasoning with qualitative velocity: towards a hybrid approach
[ LINK ]
w: Hybrid Artificial Intelligence Systems, str. 635-646, Springer, r. 2012 (Artyku³) Joanna Goliñska-Pilarek, Emilio Muñoz -Velasco | |
22. | Comparing different theorem provers for modal logic K
[ LINK ]
w: Proceedings of the 2011 International Conference Computational and Mathematical Methods in Science and Engineering, str. 1-1, Universidad de Salamanca, r. 2011 (Artyku³) Joanna Goliñska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla, S. Martin | |
23. | Reasoning with qualitative velocity
w: Proceedings of the 25th International Workshop on Qualitative Reasoning [eds. Agell, N.; Roselló, L.], str. 34-41, Research Group on Knowledge Engineering, r. 2011 (Artyku³) Joanna Goliñska-Pilarek, Emilio Muñoz-Velasco | |
24. | A New Decision Procedure for Modal Logic K
w: Proceedings of the 2009 International Conference on Computational and Mathematical Methods in Science and Engineering, str. 537-548, Computational and Mathematical Methods in Science and Engineering, r. 2009 (Artyku³) Joanna Goliñska-Pilarek, Emilio Munoz-Velasco, Angel Mora Bonilla | |
25. | RePMLK : A Relational Prover for Modal Logic K
w: Proceedings of the 2009 International Conference on Computational and Mathematical Methods in Science and Engineering, str. 743-754, Computational and Mathematical Methods in Science and Engineering, r. 2009 (Artyku³) Joanna Goliñska-Pilarek, Emilio Munoz-Velasco, Angel Mora Bonilla |