---
tag: 2QPT4KCM0Q
kind: concept
name: Brouwerian modal logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section B
    note: adopted
    mention: wikipedia://en/76765067#AJ1F
    sections: [Summary]
inventory: [XYA2Y266Z1]
---

## Summary

A form of modal logic that incorporates principles of intuitionism, as developed by L.E.J. Brouwer, focusing on the notion of possibility grounded in constructivist or intuitionist mathematics.