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.

• Type: Conference
• Year: 1994
• Where: LICS
• Authors: Eugenio Moggi
• Keywords: Automated Reasoning, Evaluation Logic, LICS 1994, Original Semantics, Strong Monads