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