Dit is de informatiepagina voor het vak Voortgezette Logica, cursusjaar 2008 - 2009. Zie voor algemene informatie de studiegids van Kunstmatige Intelligentie of ocasys.
Op deze pagina vind je voor ieder college interressante achtergrondliteratuur.
Inductieve definities en bewijzen
Het pigeonhole principle (postvakprincipe) kun je met inductie bewijzen. Hier vind je een paar aardige toepassingen. Je kunt bijvoorbeeld bewijzen dat in New York minstens twee mensen precies hetzelfde aantal haren op het hoofd hebben.
Meerwaardige logica, modale logica: syntax
Een artikel over het zeeslag-argument van Aristoteles door Robin Smith
Een aantal artikelen uit de Stanford Encyclopedia of Philosophy:
Modale logica: semantiek en tableaus
Het boek "Handbook of tableau methods" hier in de UB te lenen.
JavaScript logische animaties voor een possible world creator and calculator van Jan Jaspars
Modale logica: axiomatische bewijzen en karakteriseringen
Het artikel "correspondence theory" van Johan van Benthem, over het karakteriseren van eigenschappen van frames, in het Handbook of Philosophical logic, vol. 3, hier in de UB te lenen.
Modale predikatenlogica en tijdslogica
Twee artikelen uit de Stanford Encyclopedia of Philosophy:
Het artikel "Completeness by construction for tense logics of linear time" van De Jongh, Verbrugge en Veltman, over verschillende tijdslogica's voor verschillende structuren.
Het boek "On the plurality of worlds" over o.a. counterparts, van David Lewis, hier in de UB te lenen.
Het boek "The Logic of Time" over tijdslogica van Johan van Benthem, hier in de UB te lenen.
Parallelle processen en tijdslogica
In de syllabus modale logica (pdf) van Roel de Vrijer en Yde Venema gaat paragraaf 2.4 over tijdslogica en parallelle processen.
Logica en complexiteit
Het boek "Computers Ltd: What they really can't do" van David Harel, hier in de UB te lenen.
Het boek "Algorithmics" van David Harel, hier in de UB te lenen.
Het proefschrift "The complexity of modal logics" van Edith Spaan, hier in de UB te lenen.
Het boek "Algorithms and Complexity" van Herbert Wilf, de gratis eerste druk uit 1986 of de tweede druk, te leen in de UB.
Een powerpointpresentatie die laat zien dat satisfiability sneller kan met quantum computers
xkcd over complexiteit:
Niet-monotoon redeneren
Het boek "Nonmonotonic reasoning" van G. Antoniou, hier in de UB te lenen.
Een inleiding van John McCarthy over het Kwalificatie-probleem .
Een applet voor default logica gemaakt in Wenen