X-Logic
Overview
Philosophical Preliminaries
Technological Preliminaries
Desiderata
Features of X-Logic
Formal Models
©
V