Article contents
MEREOLOGICAL BIMODAL LOGICS
Published online by Cambridge University Press: 27 January 2022
Abstract
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.
- Type
- Research Article
- Information
- Copyright
- © The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
BIBLIOGRAPHY
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240416050529990-0241:S175502032200003X:S175502032200003X_inline1919.png?pub-status=live)
- 2
- Cited by