Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics

DOI10.1007/S10992-021-09638-0MaRDI QIDQ2144204zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 1 June 2022

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10992-021-09638-0

zbMATH Keywords

classical modal logicsdistributed informationinformation dynamicspointwise intersectionpooling modalitiespower delegation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Pooling modalities and pointwise intersection: axiomatization and decidability
• scientific article; zbMATH DE number 1989650
• A bimodal perspective on possibility semantics
• A tableau method for graded intersections of modalities: A case for concept languages
• Multimodal distributional semantics
• A note on intersection of modalities
• From geometry of interaction to denotational semantics
• Multimodal Abduction: External Semiotic Anchors and Hybrid Representations

Cites work

• ``That will do: logics of deontic necessity and sufficiency
• A logic for deontic dilemmas
• A Modal Logic for Coalitional Power in Games
• A new game equivalence, its logic and algebra
• A propositional dynamic logic for instantial neighborhood semantics
• Binary voting with delegable proxy: an analysis of liquid democracy
• Distributed knowledge
• Dynamic epistemic logic
• Dynamic logics of evidence-based beliefs
• From oughts to goals: a logic for Enkrasia
• Game logic -- an overview
• Group knowledge is not always distributed (neither is it always implicit)
• Handbook of philosophical logic. Vol. 8
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3461905 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 7085149 (Why is no real title available?)
• scientific article; zbMATH DE number 2213625 (Why is no real title available?)
• Justified belief and the topology of evidence
• Multiplex semantics for deontic logic
• Neighborhood semantics for modal logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Normal monomodal logics can simulate all others
• On the axiomatisation of Elgesem's logic of agency and ability
• On the logic of ability
• On the logic of cooperation and propositional control
• Pointwise intersection in neighbourhood modal logic
• Pooling modalities and pointwise intersection: axiomatization and decidability
• Resolving distributed knowledge
• Strong completeness for iteration-free coalgebraic dynamic logics
• The algebra of topology
• The logic of public announcements, common knowledge, and private suspicions
• Topological reasoning and the logic of knowledge
• Universal grammar
• Using the Universal Modality: Gains and Questions
• Weak completeness of coalgebraic dynamic logics

Cited in

(1)

• Pooling modalities and pointwise intersection: axiomatization and decidability

This page was built for publication: Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics

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