Publications

Journal: Journal of Applied Non-Classical Logics

2011

• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics, Journal of Applied Non-Classical Logics, 2011. See in PBN
• Jan Małuszyński, Andrzej Szałas , Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation, Journal of Applied Non-Classical Logics, 2011. See in PBN

2009

• Anh Linh Nguyen , Modal Logic Programming Revisited, Journal of Applied Non-Classical Logics, 2009. See in PBN

2008

• Andrzej Szałas , Towards Incorporating Background Theories into Quantifier Elimination, Journal of Applied Non-Classical Logics, 2008. See in PBN

2006

• Patrick Doherty, Martin Magnusson, Andrzej Szałas , Approximate databases: a support tool for approximate reasoning, Journal of Applied Non-Classical Logics, 2006. See in PBN
• Andrzej Szałas , Second-order reasoning in description logics, Journal of Applied Non-Classical Logics, 2006. See in PBN

1994

• Andrzej Szałas , On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic, Journal of Applied Non-Classical Logics, 1994. See in PBN