Science and Technology Production
Volume of Abstracts CLMPS 2011 - The bird of the hybrid type theory
Congreso
Date:
2011Publishing House and Editing Place:
Congress SecretariatSummary *
This paper brings together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin. Although the work of the first three of these authors have previously been combined, adding the ideas of Leon Henkin is the addition required to make the combination work at the logical level. But the present contribution does not focus on the underlying technicalities; rather it focuses on the underlying instruments and the way they work together. Information provided by the agent in SIGEVAKey Words
Type TheoryHybrid LogicsModal Logics