Reinhard Kahle is a professor at the Universidade de Coimbra with special interests in proof theory, logic programming, functional programming, intensionality, and the history of logic. He has published several papers and edited three books on these subjects.

Select Guide Rating

• Preface, The modal aether, Possible worlds semantics for predicates, A context principle, The semantics of modal predicate logic II. Modal individuals revisited, Intensionality and coercion, Intensionality in philosophy and metamathematics, Representation theorem for models of dynamic intensional logic, Intension, intention, Modality, mood, and descriptions, Coercion vs. indeterminacy in opaque verbs