Epistemic logic

Die epistemische Modallogik ist ein Teilgebiet der Modallogik , das sich mit dem Schlussfolgern über Wissen befasst .

Epistemische Geschlossenheit ist eine Eigenschaft mancher Glaubenssysteme und vieler epistemischer Modallogiken (d. h. der sogenannten „ normalen “).

Eine nicht-monotone Logik ist eine formale Logik, deren Folgerungsrelation nicht monoton ist . Anders ausgedrückt: Nicht-monotone Logiken dienen dazu, widerlegbare Schlussfolgerungen zu erfassen und darzustellen , d. h.