20 citations · 54 across the 9 of their papers we have counts for
6 papers · 1 filter
Two-dimensional Kripke Semantics II: Stability and Completeness
G. A. Kavvos
We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics,…
Two-dimensional Kripke Semantics I: Presheaves
G. A. Kavvos
The study of modal logic has witnessed tremendous development following the introduction of Kripke semantics. However, recent developments in programming languages and type theory…
On the Semantics of Intensionality and Intensional Recursion
G. A. Kavvos
Intensionality is a phenomenon that occurs in logic and computation. In the most general sense, a function is intensional if it operates at a level finer than (extensional) equalit…
The Many Worlds of Modal λ-calculi: I. Curry-Howard for Necessity, Possibility and Time
G. A. Kavvos
This is a survey of λ-calculi that, through the Curry-Howard isomorphism, correspond to constructive modal logics. We cover the prehistory of the subject and then concentrate on th…
Kleene's Two Kinds of Recursion
G. A. Kavvos
This is an elementary expository article regarding the application of Kleene's Recursion Theorems in making definitions by recursion. Whereas the Second Recursion Theorem (SRT) is…
On the Semantics of Intensionality
G. A. Kavvos
In this paper we propose a categorical theory of intensionality. We first revisit the notion of intensionality, and discuss we its relevance to logic and computer science. It turns…