Person:1150590

Available identifiers

zbMath Open bowen.kenneth-aMaRDI QIDQ1150590

List of research outcomes

Publication	Date of Publication	Type
Interpolation in loop-free logic	1980-01-01	Paper
Model theory for modal logic. Kripke models for modal predicate calculi	1979-01-01	Paper
An Herbrand theorem for prenex formulas of LJ	1976-01-01	Paper
Normal modal model theory	1975-01-01	Paper
Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics	1974-01-01	Paper
Forcing in a general setting	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5677453	1974-01-01	Paper
Cut Elimination in Transfinite Type Theory	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672890	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4405159	1972-01-01	Paper
A Note on Cut Elimination and Completeness in First Order Theories	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5625119	1971-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Kenneth A. Bowen