Pooling modalities and pointwise intersection: axiomatization and decidability

DOI10.1007/s11225-020-09901-6OpenAlexW3011450759MaRDI QIDQ2021558

Yanyan Li

Publication date: 27 April 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09901-6

zbMATH Keywords

completenessfinite model propertyclassical modal logicspointwise intersectionpooling modalitiespuzzle piece construction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic logics of evidence-based beliefs
• Decidability and the finite model property
• Intensional logics without iterative axioms
• Neighborhood semantics for modal logic
• Justified Belief and the Topology of Evidence
• Pointwise intersection in neighbourhood modal logic

This page was built for publication: Pooling modalities and pointwise intersection: axiomatization and decidability