# Onsite assessment venue at NTU will be announced closer to the final exam date. Each module cost S$250. Learners can use their SkillsFuture credits to pay or partially pay for the bridging modules.

Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...

This contribution is part of the special series of Inaugural Articles by members of the National Academy of Sciences elected in 2020. Interest in logics with some notion of real-valued truths has ...

Natural language conditionals are known to host a range of pragmatic inferences in the form of implicatures and presuppositions. One particularly well-known case is the conversational implicature ...

Quantification is one of the central topics in language and computation, and the interplay of collectivity, distributivity, cumulativity, and plurality is at the heart of the semantics of ...

Powerful insights arise from linking two fields of study previously thought separate. Examples include Descartes’s coordinates, which links geometry to algebra, Planck’s Quantum Theory, which links ...

Constraint-satisfaction problems arise in diverse application areas, including software and hardware verification, type inference, static program analysis, test-case generation, scheduling, planning, ...