default search action
Joanna Golinska-Pilarek
Person information
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [c10]Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki:
Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity. CADE 2021: 41-57 - [i2]Joanna Golinska-Pilarek, Taneli Huuskonen, Michal Zawidzki:
Tableau-based decision procedure for non-Fregean logic of sentential identity. CoRR abs/2104.14697 (2021)
2010 – 2019
- 2019
- [j19]Joanna Golinska-Pilarek, Magdalena Welle:
Deduction in Non-Fregean Propositional Logic SCI. Axioms 8(4): 115 (2019) - [c9]Joanna Golinska-Pilarek, Michal Zawidzki:
Tableau-based Decision Procedure for the Logic SCI. OVERLAY@AI*IA 2019: 23-28 - 2016
- [j18]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Tableau reductions: Towards an optimal decision procedure for the modal necessity. J. Appl. Log. 17: 14-24 (2016) - [j17]Joanna Golinska-Pilarek, Taneli Huuskonen:
Non-Fregean Propositional Logic with Quantifiers. Notre Dame J. Formal Log. 57(2): 249-279 (2016) - [j16]Joanna Golinska-Pilarek:
On the Minimal Non-Fregean Grzegorczyk Logic. Stud Logica 104(2): 209-234 (2016) - 2015
- [j15]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco:
A hybrid qualitative approach for relative movements. Log. J. IGPL 23(3): 410-420 (2015) - 2014
- [j14]Joanna Golinska-Pilarek, Taneli Huuskonen, Emilio Muñoz-Velasco:
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. Ann. Pure Appl. Log. 165(2): 409-427 (2014) - [j13]Linh Anh Nguyen, Joanna Golinska-Pilarek:
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. Fundam. Informaticae 135(4): 433-449 (2014) - [c8]Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo:
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. HAIS 2014: 466-477 - [i1]Linh Anh Nguyen, Joanna Golinska-Pilarek:
ExpTime Tableaux with Global Caching for the Description Logic SHOQ. CoRR abs/1405.7221 (2014) - 2013
- [c7]Joanna Golinska-Pilarek:
Relational Dual Tableaux: Foundations and Applications. CILC 2013: 15-16 - [c6]Linh Anh Nguyen, Joanna Golinska-Pilarek:
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ. CS&P 2013: 296-308 - [c5]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. SOCO-CISIS-ICEUTE 2013: 429-438 - 2012
- [j12]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla:
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20(4): 747-756 (2012) - [c4]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco:
Reasoning with Qualitative Velocity: Towards a Hybrid Approach. HAIS (1) 2012: 635-646 - [c3]Joanna Golinska-Pilarek:
On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. JELIA 2012: 255-266 - 2011
- [j11]Joanna Golinska-Pilarek, Ewa Orlowska:
Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets Syst. 162(1): 39-52 (2011) - [j10]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Ángel Mora:
A new deduction system for deciding validity in modal logic K. Log. J. IGPL 19(2): 425-434 (2011) - [j9]Ángel Mora, Emilio Muñoz-Velasco, Joanna Golinska-Pilarek:
Implementing a relational theorem prover for modal logic. Int. J. Comput. Math. 88(9): 1869-1884 (2011)
2000 – 2009
- 2009
- [j8]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco:
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Log. J. IGPL 17(4): 375-394 (2009) - [j7]Joanna Golinska-Pilarek, Emilio Muñoz-Velasco:
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Int. J. Comput. Math. 86(10&11): 1707-1718 (2009) - 2008
- [c2]Joanna Golinska-Pilarek, Ángel Mora, Emilio Muñoz-Velasco:
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. PRICAI 2008: 128-139 - 2007
- [j6]Joanna Golinska-Pilarek:
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI. J. Appl. Non Class. Logics 17(4): 511-519 (2007) - [j5]Joanna Golinska-Pilarek, Ewa Orlowska:
Tableaux and Dual Tableaux: Transformation of Proofs. Stud Logica 85(3): 283-302 (2007) - [c1]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6 - 2006
- [j4]Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska:
Relational dual tableaux for interval temporal logics. J. Appl. Non Class. Logics 16(3-4): 251-278 (2006) - [j3]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational proof systems for spatial reasoning. J. Appl. Non Class. Logics 16(3-4): 409-432 (2006) - [j2]Joanna Golinska-Pilarek:
Number of non-Fregean sentential logics that have adequate models. Math. Log. Q. 52(5): 439-443 (2006) - [p1]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161 - 2005
- [j1]Joanna Golinska-Pilarek, Taneli Huuskonen:
Number of Extensions of Non-Fregean Logics. J. Philos. Log. 34(2): 193-206 (2005)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint