Modallogik als Programmiersprache – Entwicklung eines Compilers für modallogische Formeln https://www.jugend-forscht.de/index.php?id=262&tx_smsjufoprojects_smsjufprojectdb%5Bproject%5D=4031&tx_smsjufoprojects_smsjufprojectdb%5Baction%5D=show&tx_smsjufoprojects_smsjufprojectdb%5Bcontroller%5D=Project&cHash=94ba674f47a517ab0684876f2d0a6bb8
Neben wahr und falsch gibt es hier zwei weitere Kategorien – möglich und notwendig
