On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees
| Title: | On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees |
|---|---|
| Authors: | Skvortsov, Dmitrij |
| Source: | Studia Logica: An International Journal for Symbolic Logic. August 2004 77(3):295-323 |
| Database: | Springer Nature Journals |