An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.

An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.

This article analyses several notable examples of what the author calls the post-Yugoslav women’s cinema of trauma. These films made by women filmmakers challenge the standard tropes of war, as well as normative approaches to war cinema, by highlighting the intimate affective domain of experience, rather than large-scale narratives and collective emotions. The author focuses on the near-silent short and experimental works of Una Gunjak and Šejla Kamerić, and suggests that they offer insightful formal and narrative ways of rethinking (...) the question of what makes a war film, as well as what constitutes a woman’s experience of war. By arguing for a continued, strategic and locally specific use of the term women’s cinema, the author deploys feminist analytics towards inscribing these filmmakers’ work into the transnational flows of knowledge production about marginalized groups and non-Western geographies. (shrink)