Versie van 15 nov 2008 23:03 bewerken DéRahier (overleg \| bijdragen) 28.170 bewerkingen k diakritische en andere typo's;, Replaced: predikaten → predicaten (4) met AWB ← Oudere bewerking		Versie van 10 dec 2008 22:40 bewerken ongedaan maken Bdijkstra (overleg \| bijdragen) interfacemoderatoren, moderatoren 130.645 bewerkingen k →‎Semantiek: lf Nieuwere bewerking →
Regel 22: ===Semantiek=== Voor de semantiek van '''MpL''' worden vaak Kripke-modellen gebruikt. Deze modellen kunnen bijvoorbeeld met tabellen worden weergegeven, maar vaak worden zij grafisch gerepresenteerd met behulp van knopen die voor mogelijke werelden of toestanden staan, en transities tussen deze knopen (de [[toegankelijkheidsrelatie]]). Als er een transitie is (weergegeven met een pijl) van knoop ''A'' naar knoop ''B'', zeggen we dat wereld ''B'' vanuit wereld ''A'' bereikbaar of toegankelijk is. Dit is al voldoende om de semantiek van '''MpL''' uit te drukken:▼ ~~<!-- Ik zal proberen binnenkort een illustratie van Kripke modellen voor MpL te maken (Flyingbird) -->~~ ▲Voor de semantiek van '''MpL''' worden vaak Kripke-modellen gebruikt. Deze modellen kunnen bijvoorbeeld met tabellen worden weergegeven, maar vaak worden zij grafisch gerepresenteerd met behulp van knopen die voor mogelijke werelden of toestanden staan, en transities tussen deze knopen (de [[toegankelijkheidsrelatie]]). Als er een transitie is (weergegeven met een pijl) van knoop A naar knoop B, zeggen we dat wereld B vanuit wereld A bereikbaar of toegankelijk is. Dit is al voldoende om de semantiek van '''MpL''' uit te drukken: <math>\Diamond{p}</math> is waar in wereld w0''w''<sub>0</sub> [[Dan en slechts dan als\|desda]] er minstens een wereld vanuit w0''w''<sub>0</sub> toegankelijk is, waarin ''p'' waar is. <math>\Box{p}</math> is waar in wereld w0''w''<sub>0</sub> [[desda]] in alle vanuit w0''w''<sub>0</sub> toegankelijke werelden ''p'' waar is. ==Modale predicatenlogica==

Modale logica: verschil tussen versies