Publikacje

Czasopismo: Studia Logica

Liczba publikacji: 12

2016

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

2014

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

2011

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

2009

• Dov M. Gabbay, Andrzej Szałas , Annotation Theories over Finite Graphs, Studia Logica, 2009. Zobacz w PBN
• Dov M. Gabbay, Andrzej Szałas , Voting by Eliminating Quantifiers, Studia Logica, 2009. Zobacz w 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. Zobacz w PBN

2001

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

1995

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

1993

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

1985

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

1983

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