Doxastische Logik

Die doxasdische Logig isch ä Modali Logig, wu logische Aschbegd vum Glaawe odda Määne formalisierd. De B'griff „doxasdisch“ kummd vum aldgrieschische doxa, was „de Glaawe“ heßd. Inde doxasdische Logig werdn Obarador  odda kerza  als Nodazjon oigfiehrd, wu die B'daidung „Die Person  glaabd, dass  de Fall isch.“ hodd. Die Meng  hodd donn alle Määnunge unn Glaawenssedz unn : {} isch donn die Meng vun Iwwazaischunge  vunde Person . Inde doxasdische Logig werren Iwwazaischunge alsn modale Obarador b'hondeld.Daniel Rönnedal, Doxastic logic: a new approach, 2018, Journal of Applied Non-Classical Logics 28(4):1-35, DOI: 10.1080/11663081.2018.1525206, ISSN: 1166-3081

De Raymond Smullyan hodd g'zaischd, dasses ä vollschdendischi Parallelided zwische Laid, wu on Aussache glaawen unn madhemadische Sischdem, wu Ausache b'waisen hodd. Womma Glaawe als Modalided b'hondeld, krischdma epistemische Gescheschdigg vun Uendschaidbakaidsergebnisse inde Medamadhemdig.Raymond M. Smullyan, (1986) Logicians who reason about themselves, Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge, Monterey (CA), Morgan Kaufmann Publishers Inc., San Francisco (CA), pp. 341–352

 Lidaradur 
 Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning About Knowledge, 1986, Proceedings of the 1986 Conference, ISBN: 978-0-934613-04-0, DOI: 10.1016/C2013-0-07695-5

 Vawais 

Sachgrubb:Logik