The following pages link to (Q2721181):
Displaying 6 items.
- First-order intensional logic (Q598308) (← links)
- A natural semantics for modal logic over databases (Q1102937) (← links)
- Modal logics in the theory of relational databases (Q1350737) (← links)
- Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) (← links)
- (Q4539492) (← links)
- Modalities and Quantification (Q5842291) (← links)