Publikacje

Czasopismo: Studia Logica

Liczba publikacji: 13

2016

• Paweł Urzyczyn, Intuitionistic Games: Determinacy, Completeness, and Normalization, Studia Logica 104 (5) 2016, s. 957–1001.zobacz w PBN

2014

• Andrzej Tarlecki, R\uazvan Diaconescu, Institution-independent Model Theory, Studia Logica 102 (1) 2014, s. 225–229.zobacz w PBN

2011

• Anh Linh Nguyen i Andrzej Szałas, ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse, Studia Logica 98 (3) 2011, s. 387–428.zobacz w PBN

2009

• Dov M. Gabbay i Andrzej Szałas, Voting by Eliminating Quantifiers, Studia Logica 92 (3) 2009, s. 365–379.zobacz w PBN
• Dov M. Gabbay i Andrzej Szałas, Annotation Theories over Finite Graphs, Studia Logica 93 (2-3) 2009, s. 147–180.zobacz w PBN

2007

• D. Gabbay i Andrzej Szałas, Second-order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals, Studia Logica 87 2007, s. 37–50.zobacz w PBN

2001

• Anh Linh Nguyen, Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5, Studia Logica 69 (1) 2001, s. 41–57.zobacz w PBN

2000

• S. Balcerzyk, Wiktor Bartol, E. Orłowska, A. Wieczorek i A. Wojciechowska-Waszkiewicz, Jerzy Łoś (1920--1998), Studia Logica (65) 2000, s. 301–314.zobacz w PBN

1995

• Silvio Ghilardi i Marek Witold Zawadowski, Undefinability of propositional quantifiers in the modal system S4, Studia Logica 55 (2) 1995, s. 259–271.zobacz w PBN

1993

• Gonzalo Reyes i Marek Witold Zawadowski, Formal systems for modal operators on locales, Studia Logica 54 (2) 1993, s. 595–613.zobacz w PBN

1985

• Andrzej Jankowski i Marek Witold Zawadowski, Sheaves over Heyting lattices, Studia Logica 44 (3) 1985, s. 237–256.zobacz w PBN
• Marek Witold Zawadowski, The Skolem-Löwenheim theorem in toposes. II., Studia Logica 44 (1) 1985, s. 25–38.zobacz w PBN

1983

• Marek Witold Zawadowski, The Skolem-Löwenheim theorem in toposes, Studia Logica 42 (4) 1983, s. 461–475.zobacz w PBN