On the Predicate Logic of Linear Kripke Frames and some of its Extensions

Dmitrij P. Skvortsov. On the Predicate Logic of Linear Kripke Frames and some of its Extensions. Studia Logica, 81(2):261-282, 2005. [doi]

Abstract

Abstract is missing.