Learn More
This paper introduces a two-dimensional modal logic to represent agents' concurrent common knowledge in distributed systems. Unlike common knowledge, concurrent common knowledge is a kind of agreement reachable in asynchronous environments. As a proper semantics to concurrent common knowledge we present the closed sub-product of modal logics. We axiomatize(More)
This paper introduces a two-dimensional modal logic to represent agents' knowledge in distributed environments. The agent's knowledge was formally defined in [5], where modal logic was used to model knowledge in synchronous distributed message-passing systems. The logic we present here can properly describe the properties of the agent's knowledge in(More)
The ocean sunfish (Mola mola) is the world's heaviest bony fish reaching a body mass of up to 2.3 tonnes. However, the prey M. mola consumes to fuel this prodigious growth remains poorly known. Sunfish were thought to be obligate gelatinous plankton feeders, but recent studies suggest a more generalist diet. In this study, through molecular barcoding and(More)
Aims. We have analysed ground-based multi-colour Strömgren photometry and single-filter photometry from the star tracker on the  satellite of the δ Scuti star ǫ Cephei. Methods. The ground-based data set consists of 16 nights of data collected over 164 days, while the satellite data are nearly continuous coverage of the star during 14 days. The spectral(More)
  • 1