About translations between logics: Relations between conservative translations and...
Translations on the dispute between Logical Pluralism and Monism
Logprob: probabilistic logic --- foundations and computational applications
Deductive-probabilistic reasoning: algorithms and applications
Game programming for development of logical reasoning and prevention of cognitive ...