MEREOLOGICAL BIMODAL LOGICS

DOI10.1017/S175502032200003XOpenAlexW4210643454MaRDI QIDQ5046599

Dazhu Li, Yanjing Wang

Publication date: 8 November 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502032200003x

zbMATH Keywords

modal logicmereologycorrespondencewindow modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logic with extra quantifiers and operators (03C80) Basic properties of first-order languages and structures (03C07)

Related Items (1)

Tense logics over lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A comprehensive picture of the decidability of mereological theories
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Modal definability in enriched languages
• What is classical mereology?
• The modal logic of `all and only'
• Inaccessible worlds
• General extensional mereology is finitely axiomatizable
• Decidability of general extensional mereology
• Does Universalism Entail Extensionalism?
• Mereology then and now
• The Relations of Supremum and Mereological Sum in Partially Ordered Sets
• Decidability of mereological theories
• Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
• Using the Universal Modality: Gains and Questions
• The Range of Modal Logic
• Metamereology
• Foundations of the Theory of Parthood
• Modal Logics of Topological Relations
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Der Aussagenkalkül und die Topologie
• The calculus of individuals and its uses

This page was built for publication: MEREOLOGICAL BIMODAL LOGICS