Literatur vom gleichen Autor/der gleichen Autor*in
plus bei Google Scholar

Bibliografische Daten exportieren
 

Pooling Modalities and Pointwise Intersection : Axiomatization and Decidability

Titelangaben

van de Putte, Frederik ; Klein, Dominik:
Pooling Modalities and Pointwise Intersection : Axiomatization and Decidability.
In: Studia Logica. Bd. 109 (2021) . - S. 47-93.
ISSN 1572-8730
DOI: https://doi.org/10.1007/s11225-020-09901-6

Volltext

Link zum Volltext (externe URL): Volltext

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.

Weitere Angaben

Publikationsform: Artikel in einer Zeitschrift
Begutachteter Beitrag: Ja
Institutionen der Universität: Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie > Lehrstuhl Philosophie I
Fakultäten
Fakultäten > Kulturwissenschaftliche Fakultät
Fakultäten > Kulturwissenschaftliche Fakultät > Institut für Philosophie
Titel an der UBT entstanden: Ja
Themengebiete aus DDC: 100 Philosophie und Psychologie > 100 Philosophie
Eingestellt am: 26 Sep 2020 21:00
Letzte Änderung: 03 Feb 2022 15:20
URI: https://eref.uni-bayreuth.de/id/eprint/57691