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]

No reviews for this publication, yet.