Publications

Journal: JOURNAL OF LOGIC AND COMPUTATION

2021

• Maciej Zielenkiewicz, Aleksy Schubert , Automata theory approach to predicate intuitionistic logic, JOURNAL OF LOGIC AND COMPUTATION, 32 (3) 2021, p. 554-580. See in PBN

2019

• Anh Linh Nguyen , The Influence of the Test Operator on the Expressive Power of PDL-like Logics, JOURNAL OF LOGIC AND COMPUTATION, 29 (8) 2019, p. 1289--1310. See in PBN

2017

• Ali Rezaei Divroodi, Anh Linh Nguyen , On directed simulations in description logics, JOURNAL OF LOGIC AND COMPUTATION, 27 (7) 2017, p. 1955–1986. See in PBN

1999

• Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, Declarative PTIME Queries for Relational Databases using Quantifier Elimination, JOURNAL OF LOGIC AND COMPUTATION, 1999. See in PBN

1993

• Andrzej Szałas , On the Correspondence between Modal and Classical Logic: An Automated Approach, JOURNAL OF LOGIC AND COMPUTATION, 1993. See in PBN