Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability

Keyphrases

• Axiomatization 100%
• Canonical Model 50%
• Classical Logic 50%
• Finite Model Property 50%
• Frame Condition 50%
• Semantic Expressivity 50%
• Semantic Applications 50%

Mathematics

• Pointwise 100%
• Decidability 100%
• Apply It 50%
• Canonical Model 50%
• Classical Logic 50%