Kenneth A. Bowen (bowen-ka)

Contributions to Philosophie.ch

Bibliography

Bowen, Kenneth A. 1975. “Normal Modal Model Theory.” The Journal of Philosophical Logic 4(2): 97–131.
Bowen, Kenneth A. 1979. Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi. Synthese Library n. 127. Dordrecht: D. Reidel Publishing Co.
Bowen, Kenneth A. 1987. “On the Use of Logic: Reflections on McDermott’s Critique of Pure Reason.” Computational Intelligence 3(3): 165–168.
Bowen, Kenneth A. and de Jongh, Dick H. J. 1986. “Some Complete Logics for Branched Time. Part I: Well-Founded Time, Forward Looking Operators.” 86–05. Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.
Bowen, Kenneth A. and Kowalski, Robert A. 1982. “Amalgamating Language and Metalanguage in Logic Programming.” in Logic Programming, edited by Keith L. Clark and Sten-Åke Tårnlund. New York: Academic Press.
Kowalski, Robert A. and Bowen, Kenneth A., eds. 1988. Logic Programming: Proceedings of the Fifth International Conference. vol. 1. Cambridge, Massachusetts: The MIT Press.