Journal of Applied Non-Classical Logics, Volume 3

Volume 3, Number 1, 1993

Javier Leach, Susana Nieva: Foundations of a theorem prover for functional and mathematical uses.
Beata Konikowska: Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus.
Pierre Siegel, Camilla Schwind: Modal logic based theory for non-monotonic reasoning.
Dov M. Gabbay, Uwe Reyle: Computation with run time skolemisation (N-Prolog part 3).

Ewa Orlowska: Dynamic logic with program specifications and its relational proof system.
Josep Maria Font, Massoud Moussavi: Note on a six-valued extension of three-valued logic.
Yuri Kaluzhny, Alexei Yu. Muravitsky: A knowledge representation based on the Belnap's four-valued logic.
Marta Cialdea: Herbrand style proof procedures for modal logic.
André Fuhrmann: Observations on validity and conditionals in belief revision systems.