MEREOLOGICAL BIMODAL LOGICS

DOI10.1017/S175502032200003XMaRDI QIDQ5046599zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(3)

• Tense logics over lattices
• scientific article; zbMATH DE number 7307099 (Why is no real title available?)
• Levels of modality for BDI logic

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)