Login / Signup

On the predicate logic of finite Kripke frames.

Dmitrij P. Skvortsov
Published in: Stud Logica (1995)
Keyphrases