Questions tagged [semantics]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer

Proof of Constant folding in Coq for IMP using Interaction Trees

Hello Stack Exchange Community, I'm currently working on my thesis which involves using Interaction Trees to define big-step operational semantics for programming languages, particularly the IMP ...
Andrea Tirelli's user avatar
2 votes
1 answer

Defining Kripke models and the canonical model for $S4$ modal logic

I have defined the syntax of modal logic in Coq and now I'm having trouble with the semantics. This is how I defined the Kripke model: ...
Zara's user avatar
  • 121
4 votes
1 answer

Semantics of type theory

There are many tools regarding the semantics of type theory. On one hand, we may organize the structure of substitutions explicitly, resulting in notions such as CwFs, CwAs, natural models, display ...
Trebor's user avatar
  • 3,867