1 results
MEREOLOGICAL BIMODAL LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 27 January 2022, pp. 823-858
- Print publication:
- December 2022
-
- Article
- Export citation
-
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 (of the current object) 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 of mereology by providing a new construction of the canonical model.
