Publications

Journal: Studia Logica

Number of publications: 12

2016

• Paweł Urzyczyn , Intuitionistic Games: Determinacy, Completeness, and Normalization, Studia Logica, 2016. See in PBN

2014

• Andrzej Tarlecki , R\uazvan Diaconescu, Institution-independent Model Theory, Studia Logica, 2014. See in PBN

2011

• Anh Linh Nguyen , Andrzej Szałas , ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse, Studia Logica, 2011. See in PBN

2009

• Dov M. Gabbay, Andrzej Szałas , Annotation Theories over Finite Graphs, Studia Logica, 2009. See in PBN
• Dov M. Gabbay, Andrzej Szałas , Voting by Eliminating Quantifiers, Studia Logica, 2009. See in PBN

2007

• D. Gabbay, Andrzej Szałas , Second-order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals, Studia Logica, 2007. See in PBN

2001

• Anh Linh Nguyen , Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5, Studia Logica, 2001. See in PBN

1995

• Silvio Ghilardi, Marek Zawadowski , Undefinability of propositional quantifiers in the modal system S4, Studia Logica, 1995. See in PBN

1993

• Gonzalo Reyes, Marek Zawadowski , Formal systems for modal operators on locales, Studia Logica, 1993. See in PBN

1985

• Andrzej Jankowski, Marek Zawadowski , Sheaves over Heyting lattices, Studia Logica, 1985. See in PBN
• Marek Zawadowski , The Skolem-Löwenheim theorem in toposes. II., Studia Logica, 1985. See in PBN

1983

• Marek Zawadowski , The Skolem-Löwenheim theorem in toposes, Studia Logica, 1983. See in PBN