Benutzerbeiträge von „Nortexoid“
Für Nortexoid Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher globales Konto Bearbeitungsfilter-Logbuch
Der Benutzer hat 0 Bearbeitungen. Das Konto wurde am 13. Dezember 2017 erstellt.
20. Februar 2009
- 22:5622:56, 20. Feb. 2009 Unterschied Versionen +8 Normale Modallogik make clear that mp is a "rule of consequence" and necessitation a "rule of proof". one might wish to express the former as a formula-to-formula rule.
3. Oktober 2008
- 14:2514:25, 3. Okt. 2008 Unterschied Versionen +107 Normale Modallogik Keine Bearbeitungszusammenfassung
17. September 2008
- 22:3322:33, 17. Sep. 2008 Unterschied Versionen +1.981 Deontische Logik →Standard deontic logic: --added conditional obligation and alethic operators, and reductions of unary obligation in terms of them.
5. Januar 2007
- 01:5001:50, 5. Jan. 2007 Unterschied Versionen +26 Normale Modallogik Keine Bearbeitungszusammenfassung