Intentional logic
Subtitle: A logic based on philosophical realism