Publications

Journal: Studia Logica

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