Throughout the last decade, there has been an increased interest in various forms of dynamic epistemic logics to model the flow of information and the effect this flow has on knowledge in multi-agent systems. This enterprise, however, has mostly been applicationally and semantically driven. This results in a limited amount of proof theory for dynamic epistemic logics. In this paper, we try to c...

Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to probabilistic inputs, is appropriate for revising probabilistic epistemic states when new information comes in the form of a partition of events with new probabilities and has priority over prior beliefs. This paper analyses the expressive power of tw...

muslim theologians in the holy quran and the practice of what he describes as an alternative or used god's name, name (plural nouns) is called god. whether the names and attributes of god referred to in the qur'an, the sunnah and the consensus is not seized or the names of allah, is bound to be mentioned in the sources,among the important difference scholars of the islamic world, espe...

However the variable context is defined, it is standard variationist practice to exclude tokens outside this context from further quantitative analyses. The role of occurrences of forms in contexts that lie outside the shared space of grammaticizing constructions in variation, ranging from highly infrequent occurrences to vast and diverse territories, has yet to be adequately explored. Spanish ...

The nomenclature. development of the Phanerozoic rock units mentioned in the stratigraphic lexicon of Yemen is revised. Forms violating the nomenclature rules are corrected in accordance with the nternational rules of the stratigraphic nomenclature. The concerned forms are categorized as: informally introduced, dropped, named or re-named units, all of these categories are discussed in detail.