https://arxiv.org/abs/1409.3819
[1409.3819] Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
Abstract page for arXiv paper 1409.3819: Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
syntactic abstraction