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

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