The following pages link to Kenneth A. Bowen (Q1150590):
Displayed 12 items.
- Interpolation in loop-free logic (Q1150591) (← links)
- An Herbrand theorem for prenex formulas of LJ (Q1219803) (← links)
- Normal modal model theory (Q1221738) (← links)
- Model theory for modal logic. Kripke models for modal predicate calculi (Q1252850) (← links)
- Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics (Q4053605) (← links)
- Cut Elimination in Transfinite Type Theory (Q4055626) (← links)
- Forcing in a general setting (Q4115149) (← links)
- (Q4405159) (← links)
- (Q5625119) (← links)
- A Note on Cut Elimination and Completeness in First Order Theories (Q5654020) (← links)
- (Q5672890) (← links)
- (Q5677453) (← links)