Joanna Golinska-Pilarek

	2012
15		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco: Reasoning with Qualitative Velocity: Towards a Hybrid Approach. HAIS (1) 2012: 635-646
	2011
14		Joanna Golinska-Pilarek, Ewa Orlowska: Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets and Systems 162(1): 39-52 (2011)
13		Angel 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)
12		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora: A new deduction system for deciding validity in modal logic K. Logic Journal of the IGPL 19(2): 425-434 (2011)
	2009
11		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)
10		Joanna Golinska-Pilarek, Emilio Muñoz-Velasco: Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. Logic Journal of the IGPL 17(4): 375-394 (2009)
	2008
9		Joanna Golinska-Pilarek, Angel 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
8		Joanna Golinska-Pilarek, Ewa Orlowska: Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6
7		Joanna Golinska-Pilarek: Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI. Journal of Applied Non-Classical Logics 17(4): 511-519 (2007)
6		Joanna Golinska-Pilarek, Ewa Orlowska: Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica 85(3): 283-302 (2007)
	2006
5		Joanna Golinska-Pilarek, Ewa Orlowska: Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161
4		Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska: Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics 16(3-4): 251-278 (2006)
3		Joanna Golinska-Pilarek, Ewa Orlowska: Relational proof systems for spatial reasoning. Journal of Applied Non-Classical Logics 16(3-4): 409-432 (2006)
2		Joanna Golinska-Pilarek: Number of non-Fregean sentential logics that have adequate models. Math. Log. Q. 52(5): 439-443 (2006)
	2005
1		Joanna Golinska-Pilarek, Taneli Huuskonen: Number of Extensions of Non-Fregean Logics. J. Philosophical Logic 34(2): 193-206 (2005)

Coauthor Index

1	Davide Bresolin	[4]
2	Taneli Huuskonen	[1]
3	Angel Mora (Angel Mora Bonilla)	[9] [12] [13]
4	Emilio Muñoz-Velasco	[9] [10] [11] [12] [13] [15]
5	Ewa Orlowska	[3] [4] [5] [6] [8] [14]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page