---
tag: D2H3S12V7X
kind: concept
name: Quantified modal logic
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section Q
    note: adopted
    mention: wikipedia://en/76765067#7L24
    sections: [Summary]
inventory: [3S92JEPCKT]
---

## Summary

An extension of modal logic that includes quantifiers such as "all" and "some", allowing for expressions involving necessity or possibility applied to individuals or properties quantitatively.