Publikacje

Czasopismo: 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, s. 554-580. Zobacz w 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, s. 1289--1310. Zobacz w PBN

2017

• Ali Rezaei Divroodi, Anh Linh Nguyen , On directed simulations in description logics, Journal of Logic and Computation, 27 (7) 2017, s. 1955–1986. Zobacz w PBN

1999

• Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, Declarative PTIME Queries for Relational Databases using Quantifier Elimination, Journal of Logic and Computation, 1999. Zobacz w PBN

1993

• Andrzej Szałas , On the Correspondence between Modal and Classical Logic: An Automated Approach, Journal of Logic and Computation, 1993. Zobacz w PBN