The following pages link to Unifying quantified modal logic (Q812104):
Displaying 10 items.
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- First-order classical modal logic (Q863182) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Modal logic with bounded quantification over worlds (Q2772882) (← links)
- Projective unification in modal logic (Q2903753) (← links)
- Unification in first-order transitive modal logic (Q5241924) (← links)
- Filtering unification and most general unifiers in modal logic (Q5311759) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
