Strong completeness with respect to finite kripke models

We prove that each intermediate or normal modal logic is strongly complete with respect to a class of finite Kripke frames iff it is tabular, i.e. the respective variety of pseudo-Boolean or modal algebras, corresponding to it, is generated by a finite algebra. The author wishes to thank the Editors for calling his attention to the fact that the result of this paper concerning the intermediate logics was announced earlier by A. Wroński at the conference “Logical calculi”, Wrocław, October 5–7, 1975, though without proof. Wroński's result has not been published.     

On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

Splitting the affective atom: Divergence of valence and approach-avoidance motivation during a dynamic emotional experience

Current Psychology - Valence and approach-avoidance motivation are two distinct but closely related components of affect. However, little is known about how these two processes evolve and covary in...     

Construct validation of the Narcissistic Admiration and Rivalry Questionnaire in Spanish-speaking countries: Assessment of the reliability,structural and external validity and cross-cultural equivalence

A recent re-operationalisation of grandiose narcissism has resulted in the distinction of two narcissistic strategies based on the cognitive, affective-motivational and behavioural dynamics: admiration (assertive self-enhancement) and rivalry (antagonistic self-protection). The Narcissistic Admiration and Rivalry Questionnaire (NARQ) was developed to assess this model with two higher-order dimensions. However, cross-validations of the NARQ have not been extensively conducted across diverse population groups and languages. This study aimed to test the internal and external validity (through the relation with envy and self-esteem), reliability and cross-cultural equivalence of the Spanish version of the NARQ. The psychometric properties were evaluated in a Spanish sample (N = 310), and cross-cultural equivalence was tested in participants from Chile (N = 234) and Colombia (N = 256). The results supported the reliability and validity of the Spanish NARQ, as well as the cross-cultural equivalence across Spanish-speaking countries. In addition, we discuss obtained differences across Spanish, Chilean and Colombian sample within two narcissistic strategies.     

Simplified Kripke-Style Semantics for Some Normal Modal Logics

Studia Logica - Pietruszczak (Bull Sect Log 38(3/4):163–171, 2009. https://doi.org/10.12775/LLP.2009.013) proved that the normal logics $$\mathrm {K45}$$, $$\mathrm {KB4}$$ ($$=\mathrm...