< Modallogik < Löb-Axiom
Löb-Axiom
Das
modallogische Axiomenschema
◻
(
◻
α
→
α
)
→
◻
α
{\displaystyle \Box (\Box \alpha \rightarrow \alpha )\rightarrow \Box \alpha }
nennt man
Löb-Axiom
.
This article is issued from
Wikiversity
. The text is licensed under
Creative Commons - Attribution - Sharealike
. Additional terms may apply for the media files.
