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. 9-29
  
• José Júlio Alferes, Luís Moniz Pereira:
  Belief, Provability, and Logic Programs. 31-50
  
• Phan Minh Dung, Chandrabose Aravindan:
  Knowledge base dynamics, Abduction and Databases updates. 51-76
  
• Stéphane Demri:
  Uniform and Non Uniform Strategies for Tableaux Calculi for Modal Logics. 77-96
  
• Joeri Engelfriet, Jan Treur:
  Temporal Theories of Reasoning. 97-119
  
• Heinrich Herre:
  Generalized Compactness of Nonmonotonic Inference Operations. 121-135
  

Volume 5, Number 2, 1995

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

Last update Mon May 20 17:57:51 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page