Switch to: References

Citations of:

Actuality and the a priori

Philosophical Studies 175 (3):809-830 (2018)

Add citations

You must login to add citations.
  1. Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations