A system of intensional logic

Access the content here.