Publications

Journal: Journal of Applied Non-Classical Logics

2024

• Mohua Banerjee, Mihir K. Chakraborty, Andrzej Szałas , Logics from rough sets, Journal of Applied Non-Classical Logics, 34 (2-3) 2024, p. 171-173. See in PBN
• Ken-etsu Fujita, Aleksy Schubert , Paweł Urzyczyn , Konrad Zdanowski, The existential fragment of second-order propositional intuitionistic logic is undecidable, Journal of Applied Non-Classical Logics, 34 (1) 2024, p. 55-74. See in PBN

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