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 |
Language: | English |
Published: |
Springer
2022
|