Modal Logic
- Kripke semantics
- Sahlqvist formula
- Interior algebra
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the word logic:
““... We need the interruption of the night
To ease attention off when overtight,
To break our logic in too long a flight,
And ask us if our premises are right.””
—Robert Frost (1874–1963)