Switch to: References

Add citations

You must login to add citations.
  1. Actuality, Tableaux, and Two-Dimensional Modal Logics.Lampert Fabio - 2018 - Erkenntnis 83 (3):403-443.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark