Sciweavers

Share
LICS
1994
IEEE

A General Semantics for Evaluation Logic

9 years 5 months ago
A General Semantics for Evaluation Logic
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requirement on strong monads, at the expense of stronger assumptions on the underlying category (consistently with Synthetic Domain Theory). In addition, we investigate several canonical interpretations for necessity, criteria for discriminating among them, and their relations with the original semantics of Evaluation Logic and Reyes' topos-theoretic semantics of Modal Logics.
Eugenio Moggi
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where LICS
Authors Eugenio Moggi
Comments (0)
books