Pages that link to "Item:Q3133173"
From MaRDI portal
The following pages link to Logics with definitional reflection rules (Q3133173):
Displaying 8 items.
- Reflecting rules: a note on generalizing the deduction theorem (Q898771) (← links)
- Reflexive intermediate first-order logics (Q1049753) (← links)
- Definitional reflection and basic logic (Q1942043) (← links)
- Generalized definitional reflection and the inversion principle (Q2470764) (← links)
- (Q4223000) (← links)
- Reflection principles in computational logic (Q4528037) (← links)
- A Logic for Reflective ASMs (Q5040368) (← links)
- Hypothetical reasoning and definitional reflection in logic programming (Q5053014) (← links)