On the Logic of Acceptance and Rejection*
Elementary Extensions of External Classes in a Nonstandard Universe
Classifying ℵo-Categorical Theories II
Many-Valued Logics and Suszko's Thesis Revisited*
Program Constructions that are Safe for Bisimulation*
Aristotle's Modal Logic
From Dedekind to Gödel
Applied Logic
Meta-Logics and Logic Programming