The following pages link to (Q5711930):
Displaying 5 items.
- First-order intensional logic (Q598308) (← links)
- FOIL axiomatized (Q865042) (← links)
- Distributed first order logic (Q1686336) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Counterpart theories for everyone (Q2690141) (← links)
