The following pages link to Antonia Huertas (Q484099):
Displayed 9 items.
- Completeness in hybrid type theory (Q484101) (← links)
- Completeness in equational hybrid propositional type theory (Q2278838) (← links)
- Rigid first-order hybrid logic (Q2303580) (← links)
- Exorcising the phantom zone (Q2672660) (← links)
- Henkin and Hybrid Logic (Q3454819) (← links)
- The logic of imaginary scenarios (Q5082329) (← links)
- (Q5141783) (← links)
- (Q5173183) (← links)
- Teaching and Learning Logic in a Virtual Learning Environment (Q5427798) (← links)