David J. Pym

Explorer une nouvelle approche pour comprendre la logique modale à travers la sémantique d'extension de base.

Un aperçu de la sémantique des ressources et de ses applications dans la modélisation des systèmes.

Apprends comment les annonces influencent nos connaissances dans nos interactions quotidiennes.

Apprends comment la logique réductrice aide à résoudre des problèmes quotidiens et à raisonner.