Titlebar

Export bibliographic data
Literature by the same author
plus on the publication server
plus at Google Scholar

 

Pooling Modalities and Pointwise Intersection : Axiomatization and Decidability

DOI zum Zitieren der Version auf EPub Bayreuth: https://doi.org/10.15495/EPub_UBT_00005092
URN to cite this document: urn:nbn:de:bvb:703-epub-5092-3

Title data

Van De Putte, Frederik ; Klein, Dominik:
Pooling Modalities and Pointwise Intersection : Axiomatization and Decidability.
In: Studia Logica. (17 March 2020) .
ISSN 1572-8730
DOI der Verlagsversion: https://doi.org/10.1007/s11225-020-09901-6

[img]
Format: PDF
Name: Putte-Klein2020_Article_PoolingModalitiesAndPointwiseI.pdf
Version: Published Version
Available under License Creative Commons BY 4.0: Attribution
Download (782kB)

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.

Further data

Item Type: Article in a journal
DDC Subjects: 100 Philosophy and psychology > 100 Philosophy
Institutions of the University: Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I
Faculties
Faculties > Faculty of Cultural Studies
Faculties > Faculty of Cultural Studies > Department of Philosophy
Language: English
Originates at UBT: Yes
URN: urn:nbn:de:bvb:703-epub-5092-3
Date Deposited: 23 Sep 2020 06:32
Last Modified: 23 Sep 2020 06:32
URI: https://epub.uni-bayreuth.de/id/eprint/5092

Downloads

Downloads per month over past year