Imagen de Portada
Código QR

Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.

We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics (with a...

Descripción completa

Publicado en:Journal of Philosophical Logic Vol. 51; no. 3; pp. 485 - 524
Autores principales: Van De Putte, Frederik, Klein, Dominik
Formato: Artículo
Publicado: Springer Nature Jun2022
Materias:
Kripke semantics
Delegation of powers
Self-expression
Neighborhoods
Semantics
Modal logic
Acceso en línea:Ver este registro en EBSCOhost