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

DOI10.1007/s10992-021-09638-0OpenAlexW4205314042MaRDI QIDQ2144204

Yanyan Li

Publication date: 1 June 2022

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

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

zbMATH Keywords

information dynamicsdistributed informationclassical modal logicspointwise intersectionpooling modalitiespower delegation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic logics of evidence-based beliefs
• Handbook of philosophical logic. Vol. 8
• On the axiomatisation of Elgesem's logic of agency and ability
• Dynamic epistemic logic
• On the logic of ability
• Game logic -- an overview
• Resolving distributed knowledge
• ``That will do: logics of deontic necessity and sufficiency
• Group knowledge is not always distributed (neither is it always implicit)
• Topological reasoning and the logic of knowledge
• Pooling modalities and pointwise intersection: axiomatization and decidability
• From oughts to goals: a logic for Enkrasia
• A propositional dynamic logic for instantial neighborhood semantics
• A new game equivalence, its logic and algebra
• Neighborhood semantics for modal logic
• On the logic of cooperation and propositional control
• A logic for deontic dilemmas
• The algebra of topology
• Multiplex semantics for deontic logic
• Justified Belief and the Topology of Evidence
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Distributed knowledge
• Using the Universal Modality: Gains and Questions
• Normal monomodal logics can simulate all others
• A Modal Logic for Coalitional Power in Games
• Pointwise intersection in neighbourhood modal logic
• Universal grammar

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