In this paper I argue against the commonly received view that Kripke’s formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke’s three main innovations vis-à-vis Carnap’s PWS: a new view of the worlds, variable domains of quantification, and the adoption of a universal notion of validity. I argue that all t...

Abstract Participation is a key issue in understanding didactic dynamics. On the one hand, youth participatory cultures are described as incorporating gaming, multitasking, transmedia navigation and networking; on other pre-digital meaning of participation retains political value related to individual commitment for common good socio-constructivist learning design. There connection among commun...

Non-repudiation protocols have an important role in many areas where secured transactions with proofs of participation are necessary. Formal methods are clever and without error, therefore using them for verifying such protocols is crucial. In this purpose, we show how to partially represent non-repudiation as a combination of authentications on the Fair Zhou-Gollmann protocol. After discussing...

The article substantiates the process of implementation and recognition education, which provides educational outside formal education system in Ukraine. It is shown that, along with knowledge relevant qualifications can be acquired through non-formal informal education. These types become significant nowadays due to dynamics market needs, often require promptly changing professional qualificat...