Back to the list of the institutes
Publications
Journal: JOURNAL OF LOGIC AND COMPUTATION
Number of publications: 52021
- 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