Journal of Applied Non-Classical Logics, Volume 5

Volume 5, Number 1, 1995

• Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego: Increasing the efficiency of automated theorem proving. BibTeX
• José Júlio Alferes, Luís Moniz Pereira: Belief, Provability, and Logic Programs. BibTeX
• Phan Minh Dung, Chandrabose Aravindan: Knowledge base dynamics, Abduction and Databases updates. BibTeX
• Stéphane Demri: Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics. BibTeX
• Joeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. BibTeX
• Heinrich Herre: Generalized Compactness of Nonmonotonic Inference Operations. BibTeX

Volume 5, Number 2, 1995

• Franz Baader, Hans Jürgen Ohlbach: A Multi-Dimensional Terminological Knowledge Representation Language. BibTeX
• Jan A. Bergstra, Inge Bethke, Piet Rodenburg: A propositional logic with 4 values: true, false, divergent and meaningless. BibTeX
• Alexej P. Pynko: On Priest's logic of paradox. BibTeX
• M. K. Chakraborty: Graded Consequence: Further Studies. BibTeX
• Joeri Engelfriet, Jan Treur: Temporal Theories of Reasoning. BibTeX