CongressesArtificial intelligenceSymbolic and mathematical LogicModality (Logic)Negation (Logic)PhilosophyProof theoryLogicNonclassical mathematical logicAnalysis (Philosophy)Artificial Intelligence (incl. Robotics)Belief and doubtComputer scienceData processingElectronic data processingExternalism (Philosophy of mind)Internalism (Theory of knowledge)Knowledge, theory ofLogic programmingLogic, Symbolic and mathematicalLogic, symbolic and mathematicalLogicaMathematical Logic and FoundationsNegatie (filosofie)Negation