16 citations · 85 across the 26 of their papers we have counts for
36 papers
De Re and De Dicto Knowledge in Egocentric Setting
Pavel Naumov, Anna Ovchinnikova
Prior proposes the term "egocentric" for logical systems that study properties of agents rather than properties of possible worlds. In such a setting, the paper introduces two diff…
Shhh! The Logic of Clandestine Operations
Pavel Naumov, Oliver Orejola
An operation is called covert if it conceals the identity of the actor; it is called clandestine if the very fact that the operation is conducted is concealed. The paper proposes a…
From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems
Mohammad Divband Soorati, Enrico H. Gerding, Enrico Marchioni +9
The Agents, Interaction and Complexity research group at the University of Southampton has a long track record of research in multiagent systems (MAS). We have made substantial sci…
Truth Set Algebra: A New Way to Prove Undefinability
Sophia Knight, Pavel Naumov, Qi Shi +1
The article proposes a new technique for proving the undefinability of logical connectives through each other and illustrates the technique with several examples. Some of the obtai…
Optical setup for a piston-cylinder type pressure cell: a double-volume approach
Pavel Naumov, Ritu Gupta, Marek Bartkowiak +4
Measurement of the absolute value of the applied pressure in high-pressure muon and neutron experiments is a complicated task. It requires both the presence of a calibration materi…
Budget-Constrained Coalition Strategies with Discounting
Lia Bozzone, Pavel Naumov
Discounting future costs and rewards is a common practice in accounting, game theory, and machine learning. In spite of this, existing logics for reasoning about strategies with co…