MEREOLOGICAL BIMODAL LOGICS

DOI10.1017/S175502032200003XOpenAlexW4210643454MaRDI QIDQ5046599FDOQ5046599

Authors: 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

Recommendations

• Modal logics for mereotopological relations
• scientific article; zbMATH DE number 7307099
• Modal bilattice logic and its extensions
• scientific article; zbMATH DE number 166117
• On bimodal logics of provability
• scientific article; zbMATH DE number 1735873
• Bivalent logics
• Many-valued logics and bivalent modalities
• scientific article; zbMATH DE number 4012571
• Modal multilattice logic

zbMATH Keywords

correspondencemodal logicmereologywindow modality

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Using the Universal Modality: Gains and Questions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• What is classical mereology?
• Title not available (Why is that?)
• Der Aussagenkalkül und die Topologie
• The calculus of individuals and its uses
• Decidability of general extensional mereology
• Decidability of mereological theories
• A comprehensive picture of the decidability of mereological theories
• Title not available (Why is that?)
• The modal logic of `all and only'
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Modal logics for mereotopological relations
• Inaccessible worlds
• Title not available (Why is that?)
• The Range of Modal Logic
• Title not available (Why is that?)
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Modal definability in enriched languages
• Modal Logics of Topological Relations
• Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
• The relations of supremum and mereological sum in partially ordered sets
• General extensional mereology is finitely axiomatizable
• Mereology then and now
• Metamereology
• Does universalism entail extensionalism?
• Foundations of the theory of parthood. A study of mereology. Translated from the Polish by Matthew Carmody

Cited In (3)

• Levels of modality for BDI logic
• Title not available (Why is that?)
• Tense logics over lattices

This page was built for publication: MEREOLOGICAL BIMODAL LOGICS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5046599)