JELIA 1992: Berlin, Germany

• Dimiter Vakarelov:
  A Modal Theory of Arrows. Arrow Logics I. 1-24
  
• Craig MacNish:
  Knowledge without Modality: A Simplified Framework for Chronological Ignorance. 25-35
  
• Regimantas Pliuskevicius:
  Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. 36-51
  
• Reinhard Muskens:
  Logical Omniscience and Classical Logic. 52-64
  
• Karen L. Kwast, Sieger van Denneheuvel:
  Weak Implication: Theory and Applications. 65-83
  
• Véronique Royer, Joachim Quantz:
  Deriving Inference Rules for Terminological Logics. 84-105
  
• Bertram Fronhöfer:
  Linear Proofs and Linear Logic. 106-125
  
• Emil Weydert:
  Relevance and Revision - About Generalizing Syntax-based Belief Revision. 126-138
  
• Hans Rott:
  Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment. 139-153
  
• Christine Froidevaux, Jérôme Mengin:
  A Framework for Default Logics. 154-173
  
• Anthony Hunter:
  A Conceptualization of Preferences in Non-Monotonic Proof Theory. 174-188
  
• Gerard Vreeswijk:
  Reasoning with Defeasible Arguments: Examples and Applications. 189-211
  
• Philippe Besnard, Éric Grégoire:
  About Deductive Generalization. 212-231
  
• Tim Fernando:
  Transition Systems and Dynamic Semantics. 232-251
  
• Marion Sarkis Mircheva:
  Declarative Semantics for Inconsistent Database Programs. 252-261
  
• Oliver Bittel:
  Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. 262-278
  
• Hans-Joachim Goltz:
  A Constructive Type System Based on Data Terms. 279-303
  
• Nicolas Zabel:
  An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. 304-318
  
• Christian Prehofer:
  An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. 319-338
  
• Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
  Default Theory for Well Founded Semantics with Explicit Negation. 339-356
  
• Ulrich Furbach:
  Computing Answers for Disjunctive Logic Programs. 357-372
  
• Cees Witteveen:
  Expanding Logic Programs. 373-390
  
• Heinrich Herre, David Pearce:
  Disjunctive Logic Programming, Constructivity and Strong Negation. 391-410