The following pages link to Unifying quantified modal logic (Q812104):
Displayed 4 items.
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- First-order classical modal logic (Q863182) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)