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