The aim of the study was to investigate the benthic foraminiferal fauna around the mineral water spring in Pamucak Cove, north-west Kusadasi (Aydin) and figure out the effects of the spring on the fauna. The spring was located 200 m off the coast at 12.4 m depth and its temperature was 19.6°C. The study area was found to include a rich population of Red Sea originated Amphistegina lobifera, of which the distribution pattern is noteworthy. It is abundant in the centre of the spring and its close vicinity; its abundance decreases when getting away from the spring. It is more abundantly observed on the southern and western sides of the spring, whereas, it is outnumbered by Ammonia compacta and Elphidium crispum on the northern and eastern parts. The water currents around the spring were in north-south and north-west directions. The observed diverse diatom population around the spring constitutes the main food source and dispersal according to the currents may explain the reason for the abundance of the Amphistegina population on the southern and western sides of the study area. High abundances of A. lobifera have not yet been observed elsewhere in the Aegean Sea, although large populations of this species have been recorded on the south-west coasts of Turkey and in several stations on the south-east of Gokceada. Abundance of coloured individuals and Red Sea originated benthic species suggests the presence of special environmental as well as ecological conditions around the spring.
We consider a simple modal logic whose non-modal part has conjunction and disjunction as connectives and whose modalities come in adjoint pairs, but are not in general closure operators. Despite absence of negation and implication, and of axioms corresponding to the characteristic axioms of (e.g.) T, S4 and S5, such logics are useful, as shown in previous work by Baltag, Coecke and the first author, for encoding and reasoning about information and misinformation in multi-agent systems. For such a logic we present an algebraic semantics, using lattices with agent-indexed families of adjoint pairs of operators, and a cut-free sequent calculus. The calculus exploits operators on sequents, in the style of “nested” or “tree-sequent” calculi; cut-admissibility is shown by constructive syntactic methods. The applicability of the logic is illustrated by reasoning about the muddy children puzzle, for which the calculus is augmented with extra rules to express the facts of the muddy children scenario.