Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability

Frederik Van De Putte*, Dominik Klein

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
4 Downloads (Pure)

Abstract

We establish completeness and the finite model property for logics featuring the pooling modalities that were introduced in Van De Putte and Klein (Pooling modalities and pointwise intersection: semantics, expressivity, and applications). The definition of our canonical models combines standard techniques with a so-called “puzzle piece construction”, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique’s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.

Original languageEnglish
Pages (from-to)47-93
Number of pages47
JournalStudia Logica
Volume109
Issue number1
DOIs
Publication statusPublished - Feb 2021
Externally publishedYes

Bibliographical note

Funding Information:
Open Access funding provided by Projekt DEAL. We are indebted to Eric Pacuit and Fengkui Ju for insightful discussions on the completeness proofs. We are also indebted to two anonymous referees for their incisive comments on an earlier version. Frederik Van De Putte’s work on this paper was supported by the European Comission through a Marie Skłodowska-Curie Fellowship (Grant Agreement ID: 795329) and by the Flemish Research Foundation (FWO-Vlaanderen). The work of Dominik Klein was partially supported by the Deutsche Forschungsgemeinschaft (DFG) and Agence Nationale de la Recherche (ANR) as part of the joint project Collective Attitude Formation [RO 4548/8-1], by DFG and Grantová Agentura České Republiky (GAČR) through the joint project From Shared Evidence to Group Attitudes [RO 4548/6-1] and by the National Science Foundation of China as part of the project Logics of Information Flow in Social Networks [17ZDA026].

Publisher Copyright:
© 2020, The Author(s).

Fingerprint

Dive into the research topics of 'Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability'. Together they form a unique fingerprint.

Cite this