Publikacje

Czasopismo: 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, s. 171-173. Zobacz w 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, s. 55-74. Zobacz w 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. Zobacz w 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. Zobacz w PBN

2009

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

2008

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

2006

• Patrick Doherty, Martin Magnusson, Andrzej Szałas , Approximate databases: a support tool for approximate reasoning, Journal of Applied Non-Classical Logics, 2006. Zobacz w PBN
• Andrzej Szałas , Second-order reasoning in description logics, Journal of Applied Non-Classical Logics, 2006. Zobacz w 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. Zobacz w PBN