A Recursively Enumerable Kripke Complete First-Order Logic Not Complete with Respect to a First-Order Definable Class of Frames.

Mikhail N. Rybakov, Dmitry Shkatov

Browse the full AiML paper archive.