Volume 8, Number 1-2, 1998

• 
  Edward Bryniarski, Urszula Wybraniec-Skardowska: Calculus of Contextual Rough Sets in Contextual Spaces. 9-26
• 
  Marcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non--Classical Logics. 27-66
• 
  Judit X. Madarász: Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic. 67-105
• 
  Marcin Mostowski: Computational semantics for monadic quantifiers. 107-121
• 
  Aleksey Novodvorsky, Aleksey Smirnov: A shell for generic interactive proof search. 123-140
• 
  Regimantas Pliuskevicius: Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic. 141-169
• 
  Graham Priest: The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions. 171-183

Volume 8, Number 3, 1998

• 
  James Brawner, James Vorbach: An Algorithmic Logic Approach to Formalizing Database Update Semantics. 199-220
• 
  Sven Ove Hansson, Hans Rott: A Plea for Accuracy. 221-224
• 
  Michael Wooldridge, Clare Dixon, Michael Fisher: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. 225-258
• 
  Philippe Balbiani: The modal multilogic of geometry. 259-281

Volume 8, Number 4, 1998

• 
  Hans Jürgen Ohlbach, Dov M. Gabbay: Calendar Logic. 291-323
• 
  Philippe Balbiani, Luis Fariñas del Cerro: Complete axiomatization of a relative modal logic with composition and intersection. 325-335
• 
  Dale Jacquette: Paraconsistent Logical Consequence. 337-351
• 
  Jin-Zhao Wu, Hong-Yan Tan, Yongli Li: An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. 353-360

last updated on Tue May 21 03:07:48 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page