Logic and Time


Content, progress and pedagogy of the module

The module will introduce the students to ideas and problems related to the logical and temporal aspect of persuasive systems. During the course of the module, the students will engage in lectures and discussions on argumentation and temporal logic and in lectures on the basic logical and temporal aspects of persuasive systems.

Learning objectives


In the module the students will acquire knowledge of

  • Theories of argumentation and formal logic, including temporal logic
  • Aspects of time in persuasive systems, including ideas of branching time


In the module the students will acquire skills in 

  • detecting logical and temporal aspects of persuasive systems
  • observing and analysing problems in relation to aspects of logic and time in persuasive systems


In the module the students will acquire competences in:

  • taking an analytical, reflective and critical approach to the use of logic and ideas of time in persuasive systems;
  • engaging in an interdisciplinary collaboration on basic problems related to logic and time in a specific context;
  • identifying own learning needs and structuring own learning in relation to the use of basic notions of logic and time



Name of examLogic and Time
Type of exam
Written exam
The test should be carried out within 3 days. The student should produce a report on a given problem related to logic and time in persuasive systems. The report may not exceed 10 pages.
Assessment7-point grading scale
Type of gradingInternal examination
Criteria of assessmentThe criteria of assessment are stated in the Examination Policies and Procedures

Facts about the module

Danish titleLogic and Time
Module codeKAINFOAR189
Module typeCourse
Duration1 semester
7. semester
Language of instructionEnglish
Location of the lectureCampus Aalborg
Responsible for the module


Education ownerMaster of Science (MSc.) in Information Technology, Information Architecture
Study BoardStudy Board of Communication and Digital Media
DepartmentDepartment of Communication and Psychology
FacultyFaculty of Social Sciences and Humanities