Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
This book stands at the intersection of two topics: the decidability and computational complexity of hybrid logics, and the deductive systems designed for them. Hybrid logics are here divided into two groups: standard hybrid logics involving nominals as expressions of a separate sort, and non-standard hybrid logics, which do not involve nominals but whose expressive power matches the expressive power of binder-free standard hybrid logics.The original results of this book are split into two parts. This division reflects the division of the book itself. The first type of results concern model-theoretic and complexity properties of hybrid logics. Since hybrid logics which we call standard are quite well investigated, the efforts focused on hybrid logics referred to as non-standard in this book. Non-standard hybrid logics are understood as modal logics with global counting operators (M(En)) whose expressive power matches the expressive power of binder-free standard hybrid logics. The relevant results comprise: 1. Establishing a sound and complete axiomatization for the modal logic K with global counting operators (MK(En)), which can be easily extended onto other frame classes, 2. Establishing tight complexity bounds, namely NExpTime-completeness for the modal logic with global counting operators defined over the classes of arbitrary, reflexive, symmetric, serial and transitive frames (MK(En)), MT(En)), MD(En)), MB(En)), MK4(En)) with numerical subscripts coded in binary. Establishing the exponential-size model property for this logic defined over the classes of Euclidean and equivalential frames (MK5(En)), MS5(En)).Results of the second type consist of designing concrete deductive (tableau and sequent) systems for standard and non-standard hybrid logics. More precisely, they include: 1. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for a rich class of binder-free standard hybrid logics. An interesting feature of indicated calculi is the nonbranching character of the rule (¬D), 2. Devising a prefixed and an internalized tableau calculi which are sound, complete and terminating for non-standard hybrid logics. The internalization technique applied to a tableau calculus for the modal logic with global counting operators is novel in the literature, 3. Devising the first hybrid algorithm involving an inequality solver for modal logics with global counting operators. Transferring the arithmetical part of reasoning to an inequality solver turned out to be sufficient in ensuring termination.The book is directed to philosophers and logicians working with modal and hybrid logics, as well as to computer scientists interested in deductive systems and decision procedures for logics. Extensive fragments of the first part of the book can also serve as an introduction to hybrid logics for wider audience interested in logic.The content of the book is situated in the areas of formal logic and theoretical computer science with some elements of the theory of computational complexity.
This volume offers a collection of thirteen studies on the subject of intercultural contact and exchange in the medieval and early modern periods. The aim of the authors was to approach this phenomenon as broadly as possible, and the resulting volume is, therefore, a fusion of different approaches to a variety of historical sources and texts. Geographical areas that are often studied separately â¿ including the Middle East, the Caucasus, the Latin West and Central Europe (especially Poland, Germany and Hungary) â¿ are here presented together in order to allow for cross-period and cross-regional comparisons. The chronological scope is also unusually broad, beginning with Late Antiquity and encompassing both the Renaissance and its immediate aftermath.
This volume in the Electrum series is focused on various aspects of a phenomenon that is very characteristic of the history of the ancient world. In several essays, contributors discuss problems relating to colonization and its effects on the Mediterranean region. These workscover the period that spand from archaic Greece to Byzantine times.
Mass media play a significant role in the production and reproduction of identities and lifestyles, values and world-views. They also convey information about the world we live in, as they reflect elements of the broader context within which they come into being. This volume, the first on this topic to be published in Poland, brings together eleven essays that offer a complex approach to both media in the PRC and the way China and the Chinese are presented in the media of other countries. Individual chapters discuss images constructed, persuasive techniques employed, political undertakings and official stances reflected, as well as popular feeling expressed in the Chinese official and popular press, information websites, Internet forums, mainstream Western press, Polish and Italian media, Zambian Internet forums, and Indonesian cinema. Media in China, China in the Media. Processes, Strategies, Images, Identities will be stimulating reading for students and scholars of media and mass communication, political studies, cultural and gender studies, interested in the following topics: the Chinese media discourse, transparency as to government activities, Chinese nationalism, the Chinese diaspora, Sino-African relations.
This historical dictionary consists of nearly 2,000 loanwords in Old Anatolian and early Ottoman Turkish. Marzanna Pomorska has extracted the vocabulary from various sources originally written in Arabic, transcribed in present times into Latin and edited by modern scholars.
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.