caa a22 4500 465779387 CHVBK 20180323111951.0 cr unu---uuuuu 170327e19901201xx s 000 0 eng 10.1007/BF00370163 doi (NATIONALLICENCE)springer-10.1007/BF00370163 Wansing Heinrich Gruppe für Logik, Wissenstheorie und Information FU Berlin, Habelschwerdter Allee 30, D 1000, Berlin 33, Germany aut A general possible worlds framework for reasoning about knowledge and belief [Elektronische Daten] [Heinrich Wansing] In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds model validating precisely the same formulas (of the language in question). Polish Academy of Sciences, 1990 Studia Logica Kluwer Academic Publishers 49/4(1990-12-01), 523-539 0039-3215 49:4<523 1990 49 11225 https://doi.org/10.1007/BF00370163 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00370163 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Wansing Heinrich Gruppe für Logik, Wissenstheorie und Information FU Berlin, Habelschwerdter Allee 30, D 1000, Berlin 33, Germany aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/4(1990-12-01), 523-539 0039-3215 49:4<523 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer