Starting in the mid-19th century, the Russian authorities promoted rapid economic modernisation while trying to maintain the traditional social order and political absolutism. State-led industrialisation, however, created new social groups, such as urban workers; enlarged the intelligentsia; and facilitated contact between villages and urban centres. These changes also increased the burden of t...

Public announcements are used in dynamic epistemic logic to model certain kinds of information change. A formula 〈ψ〉φ represents the statement that after ψ is publicly announced φ will be the case. Sometimes we want to reason about whether it is possible for φ to become true after some announcement. In order to do this an arbitrary public announcement operator ♦ can be added to an epistemic log...

The dynamic turn in Epistemic Logic is based on the idea that notions of information should be studied together with the actions that modify them. Dynamic epistemic logics have explored how knowledge and beliefs change as consequence of, among others, acts of observation and upgrade. Nevertheless, the omniscient nature of the represented agents has kept finer actions outside the picture, the mo...

the warrant of truth has long been drawing the attention of philosophers.in order to find out the truth value one should determine first the criterion of truth. discursive or representational knowledge are related to objects external of mind and so since external circumstances are involved in occurrence of this sort of knowledge, its truth value is diminished. presential knowledge, however, is ...

Any scientific discovery must include an epistemic process to gain knowledge of or to ascertain the existence of some empirical and/or logical entailments previously unknown or unrecognized. This paper proposes a new programming paradigm, named Epistemic Programming, which regards entailments as the subject of computing, takes three primary epistemic operations, i.e., epistemic deduction of kno...

A commonly used dynamic epistemic logic is one obtained by adding common knowledge and public announcements to a basic epistemic logic. It is known from Kooi (2007) that adding public substitutions to such a logic adds expressivity over the class K of models. Here I show that substitutions also add expressivity over the classes KD45, S4 and S5 of models. Since the combination of common knowledg...