Archive - COMP304
2022
-
Nov 24Description Logic - Tableaux Method -COMP304 -
Nov 21Description Logic - Consistency, Coherence, Entailment & Reduction -COMP304 -
Nov 17Description Logic - TBoxes & ABoxes -COMP304 -
Nov 14Description Logic -COMP304 -
Nov 03Epistemic Logic - Common Knowledge & Public Announcements -COMP304 -
Oct 27Epsitemic Logic - The Proof System $S5$ -COMP304 -
Oct 24Epistemic Logic -COMP304 -
Oct 20Formula Games -COMP304 -
Oct 17Modal Logic - The Proof System $\mathbf K$ -COMP304 -
Oct 13Modal Logic - Validity, Counterexamples & Satisfyability -COMP304 -
Oct 10Modal Logic - Multi-Agent -COMP304 -
Oct 06Modal Logic - Possible Worlds -COMP304 -
Oct 03Modal Logic -COMP304 -
Sep 29Propositional Logic -COMP304