Modal logics and local quantifiers: A zoo in the elementary hierarchy
We study a family of modal logics interpreted on tree-like structures, and featuring local quantifiers ∃kp that bind the proposition p to worlds that are accessible from the current one in at most k steps. We consider a first-order and a second-order semantics for the quantifiers, which enables us t...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Sprog: | English |
| Udgivet: |
Springer
2022
|