The following pages link to Extended First-Order Logic (Q3183527):
Displaying 12 items.
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- First order expressivist logic (Q485622) (← links)
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- Generating custom set theories with non-set structured objects (Q2128829) (← links)
- Epsilon-logic is more expressive than first-order logic over finite structures (Q2710605) (← links)
- Extensional Logic of Hyperintensions (Q3224007) (← links)
- (Q4858033) (← links)
- (Q5128050) (← links)
- An expansion of first-order Belnap-Dunn logic (Q5172135) (← links)
- Analytic Tableaux for Higher-Order Logic with Choice (Q5747752) (← links)
- An extension of first order limit language (Q6075561) (← links)
