Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere

Torben Bra√ľner. Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere. Studia Logica, 81(2):191-226, 2005. [doi]

Abstract

Abstract is missing.