Citations of:
On the expressive power of first-order modal logic with two-dimensional operators
Synthese 195 (10):4373-4417 (2018)
Add citations
You must login to add citations.
|
|
In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate (...) |