Generalized Topological Semantics for First-Order Modal Logic (2010)

by Kohei Kishida