Switch to: References

Add citations

You must login to add citations.
  1. Mereological Bimodal Logics.Dazhu Li & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-36.
    In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting, $\Box \varphi $ reads all the parts are $\varphi $, interpreted on the models with a whole-part binary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof for a basic system (...)
    Direct download (2 more)  
    Export citation