New experimental evidence shows that policing behaviour by dominant monkeys stabilizes and integrates macaque societies.

LOGI is a didactic software designed for a basic course of Logic. We developed it as an extension of the course-ware Language, Proof and Logic (LPL) by Plummer, Barwise, and Etchemendy, in particular of Tarski’s World (TW): the latter features simple virtual worlds populated by blocks and equipped with a first order language to about them; this helps students to understand the language of logic...

Only knowing captures the intuitive notion that the beliefs of an agent are precisely those that follow from its knowledge base. While only knowing has a simple possible-world semantics in a single agent setting, the many agent case has turned out to be much more challenging. In a recent paper, we proposed an account which arguably extends only knowing to multiple agents in a natural way. Howev...

Vladimir Putin's war on Ukraine has given the world's democrats a renewed sense of unity and purpose. Galvanized by common threat existential peril, Western democracies have imposed biting sanctions Russia, boosted weapons aid shipments to Ukraine, increased military spending dramatically. This vigorous unified response from contrasts their muted replies past decade democratic malaise, which wa...