Journal of Applied Non-Classical Logics, Volume 2

Volume 2, Number 1, 1992

• Patrick Doherty, Witold Lukaszewicz: NML3. A Non-Monotonic Logic with Explicit Defaults.
• Walter Alexandre Carnielli, Mamede Lima-Marques: Reasoning under Inconsistent Knowledge.
• Wiebe van der Hoek: On the Semantics of Graded Modalities.

Volume 2, Number 2, 1992

• Stephan Merz:
  Decidability and incompleteness results for first-order temporal logics of linear time. 139-156
  
• Bernd-Holger Schlingloff:
  Expressive completeness of temporal logic of trees. 157-180
  
• Alfredo Burrieza, Inman P. de Guzmán:
  A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. 181-200
  
• Marcelo Finger:
  Handling database updates in two-dimensional temporal logic. 201-224
  
• Gerson Zaverucha:
  Relevant logic as a basis for paraconsistent epistemic logics. 225-241
  
• Chris Brink:
  A comment on relevant truth table logic. 243-246
  

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